CoRR, January 2013







Kyungmin Bae, Joshua Krisiloff, José Meseguer, Peter Csaba Ölveczky:
PALS-Based Analysis of an Airplane Multirate Control System in Real-Time Maude. 5-21
Adrien Champion, Rémi Delmas, Michael Dierkes:
Generating Property-Directed Potential Invariants By Backward Analysis. 22-38
Masahiro Matsubara, Kohei Sakurai, Fumio Narisawa, Masushi Enshoiwa, Yoshio Yamane, Hisamitsu Yamanaka:
Model Checking with Program Slicing Based on Variable Dependence Graphs. 56-68
Mingyu Park, Taejoon Byun, Yunja Choi:
Property-based Code Slicing for Efficient Verification of OSEK/VDX Operating Systems. 69-84
Siraj Ahmed Shaikh, Padmanabhan Krishnan:
A Framework for Analysing Driver Interactions with Semi-Autonomous Vehicles. 85-99
Chen-Wei Wang, Jim Davies:
Formal Model-Driven Engineering: Generating Data and Behavioural Components. 100-117
Zheng Wang, Geguang Pu, Jianwen Li, Jifeng He, Shengchao Qin, Kim G. Larsen, Jan Madsen, Bin Gu:
MDM: A Mode Diagram Modeling Framework. 135-149
Yukihiro Kamada, Kiyonori Miyasaki:
Generating High-Order Threshold Functions with Multiple Thresholds.
Licheng Chen, Tianyue Lu, Yanan Wang, Mingyu Chen, Yuan Ruan, Zehan Cui, Yongbing Huang, Mingyang Chen, Jiutian Zhang, Yungang Bao:
MIMS: Towards a Message Interface based Memory System.
Yonatan Kaspi, Neri Merhav:
Zero-Delay and Causal Single-User and Multi-User Lossy Source Coding with Decoder Side Information.
Chengwen Xing, Shuo Li, Zesong Fei, Jingming Kuang:
How to Understand LMMSE Transceiver Design for MIMO Systems From Quadratic Matrix Programming.
Ferhat Özgür Çatak, M. Erdal Balaban:
CloudSVM : Training an SVM Classifier in Cloud Computing Systems.
Tian Zhang, Wei Chen, Zhigang Cao:
Opportunistic DF-AF Selection Relaying with Optimal Relay Selection in Nakagami-m Fading Environments.
Jingbo Liu, Jian Jin, Yuantao Gu:
Robustness of Sparse Recovery via $F$-minimization: A Topological Viewpoint.
Rodrigo C. de Lamare:
Joint Iterative Power Allocation and Linear Interference Suppression Algorithms in Cooperative DS-CDMA Networks.
Rodrigo C. de Lamare, Paulo S. R. Diniz:
Set-Membership Adaptive Algorithms based on Time-Varying Error Bounds for Interference Suppression.
(Withdrawn) Automating ATLAS Computing Operations using the Site Status Board.
Aviv Tamar, Dotan Di Castro, Shie Mannor:
Policy Evaluation with Variance Related Risk Criteria in Markov Decision Processes.
Ashish Chiplunkar, Sundar Vishwanathan:
On the Competitiveness of Randomized Memoryless Algorithms for the Weighted $k$-server Problem.
Madhur Srivastava, Satish Kumar Singh, Prasanta K. Panigrahi:
A Semi-automated Statistical Algorithm for Object Separation.

Dodge Cahan, John Christopher McCabe-Dansted, Arkadii M. Slinko:
Nonconvergent Electoral Equilibria under Scoring Rules: Beyond Plurality.
Charith Perera, Arkady B. Zaslavsky, Peter Christen, Ali Salehi, Dimitrios Georgakopoulos:
Capturing Sensor Data from Mobile Phones using Global Sensor Network Middleware.
H. R. Mamatha, S. Karthik, Murthy K. Srikanta:
Classifier Fusion Method to Recognize Handwritten Kannada Numerals.
Easwar Vivek Mangipudi, Venkatesh Ramaiyan, Srikrishna Bhashyam:
Cross-Layer Strategies for Throughput Maximization in Data Aggregating Wireless Networks.

Muhammad Fainan Hanif, Le-Nam Tran, Antti Tölli, Markku J. Juntti, Savo Glisic:
Efficient Solutions for Weighted Sum Rate Maximization in Multicellular Networks With Channel Uncertainties.
Doreswamy, Hemanth K. S.:
A Novel Design Specification Distance(DSD) Based K-Mean Clustering Performace Evluation on Engineering Materials Database.
Deepali Virmani, Satbir Jain:
Reliable Robust and Real-Time Communication Protocol for Data Delivery in Wireless sensor Networks.

Jan Hrncír, Michael Rovatsos:
Applying Strategic Multiagent Planning to Real-World Travel Sharing Problems.
Rodrigo Aldecoa, Ignacio Marín:
Surprise maximization reveals the community structure of complex networks.
Wajdi Ghezaiel, Amel Ben Slimane Rahmouni, Ezzedine Ben Braiek:
Usable Speech Assignment for Speaker Identification under Co-Channel Situation.
Wajdi Ghezaiel, Amel Ben Slimane Rahmouni, Ezzedine Ben Braiek:
Evaluation of a Multi-Resolution Dyadic Wavelet Transform Method for usable Speech Detection.
Aaditya Prakash:
Reconstructing Self Organizing Maps as Spider Graphs for better visual interpretation of large unstructured datasets.
Paulo Shakarian, Gerardo I. Simari, Robert Schroeder:
MANCaLog: A Logic for Multi-Attribute Network Cascades (Technical Report).
Julia Vinogradova, Romain Couillet, Walid Hachem:
Statistical Inference in Large Antenna Arrays under Unknown Noise Pattern.


Lorenzo Rossi, Jacob Chakareski, Pascal Frossard, Stefania Colonnese:
A Poisson Hidden Markov Model for Multiview Video Traffic.
Sriganesh Srihari, Hon Wai Leong:
Employing functional interactions for characterization and detection of sparse complexes from yeast PPI networks.


Vo Nguyen Quoc Bao, Tran Thien Thanh, Tuan-Duc Nguyen, Thanh Dinh Vu:
Spectrum Sharing-based Multi-hop Decode-and-Forward Relay Networks under Interference Constraints: Performance Analysis and Relay Position Optimization.


F. Mahmood, F. Kunwar:
A Self-Organizing Neural Scheme for Door Detection in Different Environments.
F. Mahmood, Syed M. B. Haider, F. Kunwar:
Investigating the performance of Correspondence Algorithms in Vision based Driver-assistance in Indoor Environment.
Quim Castellà, Charles A. Sutton:
Word Storms: Multiples of Word Clouds for Visual Comparison of Documents.
Cyril L'Orphelin, Hélène Cordier, Sylvain Reynaud, Marcos Lins, Sinika Loikkanen, Olivier Lequeux, Pierre Veyre:
EELA Operations: A standalone regional dashboard implementation.
Steven de Rooij, Tim van Erven, Peter D. Grünwald, Wouter M. Koolen:
Follow the Leader If You Can, Hedge If You Must.
Tomasz Krawczyk, Arkadiusz Pawlik, Bartosz Walczak:
Coloring triangle-free rectangular frame intersection graphs with O(log log n) colors.
Dragomir Anguelov, Rahul Biswas, Daphne Koller, Benson Limketkai, Sebastian Thrun:
Learning Hierarchical Object Maps Of Non-Stationary Environments with mobile robots.
Ionut D. Aron, Pascal Van Hentenryck:
A constraint satisfaction approach to the robust spanning tree problem with interval data.
Vincent Auvray, Louis Wehenkel:
On the Construction of the Inclusion Boundary Neighbourhood for Markov Equivalence Classes of Bayesian Network Structures.

David M. Blei, J. Andrew Bagnell, Andrew McCallum:
Learning with Scope, with Application to Information Extraction and Classification.

John L. Bresina, Richard Dearden, Nicolas Meuleau, Sailesh Ramakrishnan, David E. Smith, Richard Washington:
Planning under Continuous Time and Resource Uncertainty: A Challenge for AI.





Thomas Eiter, Thomas Lukasiewicz:
Causes and Explanations in the Structural-Model Approach: Tractable Cases.
Sarah Finney, Natalia Gardiol, Leslie Pack Kaelbling, Tim Oates:
The Thing That We Tried Didn't Work Very Well : Deictic Representation in Reinforcement Learning.
Phan Hong Giang, Prakash P. Shenoy:
Statistical Decisions Using Likelihood Information Without Prior Probabilities.

Tom Heskes, Onno Zoeter:
Expectation Propogation for approximate inference in dynamic Bayesian networks.
Eric Horvitz, Paul Koch, Carl Myers Kadie, Andy Jacobs:
Coordinates: Probabilistic Forecasting of Presence and Availability.
Carl Myers Kadie, Christopher Meek, David Heckerman:
CFW: A Collaborative Filtering System Using Posteriors Over Weights Of Evidence.
Mehmet Kayaalp, Gregory F. Cooper:
A Bayesian Network Scoring Metric That Is Based On Globally Uniform Parameter Priors.
Michael J. Kearns, Yishay Mansour:
Efficient Nash Computation in Large Population Games with Bounded Influence.


Martijn A. R. Leisink, Hilbert J. Kappen:
General Lower Bounds based on Computer Generated Higher Order Expansions.
Uri Lerner, Brooks Moses, Maricia Scott, Sheila A. McIlraith, Daphne Koller:
Monitoring a Complez Physical System using a Hybrid Dynamic Bayes Net.





Andrew W. Moore, Jeff G. Schneider:
Real-valued All-Dimensions search: Low-overhead rapid searching over subsets of attributes.



David M. Pennock, Sandip Debnath, Eric J. Glover, C. Lee Giles:
Modelling Information Incorporation in Markets, with Application to Detecting and Explaining Events.
Ryan Porter, Amir Ronen, Yoav Shoham, Moshe Tennenholtz:
Mechanism Design with Execution Uncertainty.
José Carlos Ferreira da Rocha, Fábio Gagliardi Cozman:
Inference with Seperately Specified Sets of Probabilities in Credal Networks.




Masami Takikawa, Bruce D'Ambrosio, Ed Wright:
Real-Time Inference with Large-Scale Temporal Bayes Nets.

Sylvie Thiébaux, Froduald Kabanza, John K. Slaney:
Anytime State-Based Solution Methods for Decision Processes with non-Markovian Rewards.


Martin J. Wainwright, Tommi S. Jaakkola, Alan S. Willsky:
A New Class of Upper Bounds on the Log Partition Function.
Peter P. Wakker:
Decision Principles to justify Carnap's Updating Method and to Suggest Corrections of Probability Judgments (Invited Talks).


Salem Alkhalaf, Steve Drew, Anne Nguyen:
Validation of the IS Impact Model for Measuring the Impact of e-Learning Systems in KSA Universities: Student Perspective.

Andrey Demichev, Viatcheslav A. Ilyin, Alexander Kryukov, Stanislav Polyakov:
A Quality and Cost Approach for Comparison of Small-World Networks.
Sundeep Prabhakar Chepuri, Geert Leus, Alle-Jan van der Veen:
Position and Orientation Estimation of a Rigid Body: Rigid Body Localization.
R. Rajendra Prasath, Pinar Öztürk:
Similarity Assessment through blocking and affordance assignment in Textual CBR.
Sundeep Prabhakar Chepuri, Geert Leus, Alle-Jan van der Veen:
Joint localization and clock synchronization for wireless sensor networks.
Stefan Gerdjikov, Stoyan Mihov, Petar Mitankin, Klaus U. Schulz:
Good parts first - a new algorithm for approximate search in lexica and string databases.
Mathieu Senelle, Silvia García-Díez, Amin Mantrach, Masashi Shimbo, Marco Saerens, François Fouss:
The Sum-over-Forests density index: identifying dense regions in a graph.
Fatma Benkhelifa, Zouheir Rezki, Mohamed-Slim Alouini:
On the Low SNR Capacity of Maximum Ratio Combining over Rician Fading Channels with Full Channel State Information.


Hélène Cordier, Cyril L'Orphelin, Sylvain Reynaud, Olivier Lequeux, Sinika Loikkanen, Pierre Veyre:
From EGEE OPerations Portal towards EGI OPerations Portal.


Benjamin Moseley, Kirk Pruhs, Cliff Stein:
The Complexity of Scheduling for p-norms of Flow and Stretch.
Loet Leydesdorff, Caroline S. Wagner, Han Woo Park, Jonathan Adams:
International Collaboration in Science: The Global Map and the Network.
Zhen Liu, Jia-Lin He, Jaideep Srivastava:
Cliques in complex networks reveal link formation and community evolution.
Fahad Saeed, Trairak Pisitkun, Mark A. Knepper, Jason D. Hoffert:
An Efficient Algorithm for Clustering of Large-Scale Mass Spectrometry Data.
James Kirrage, Asiri Rathnayake, Hayo Thielecke:
Static Analysis for Regular Expression Denial-of-Service Attacks.
Harpreet S. Dhillon, Howard C. Huang, Harish Viswanathan, Reinaldo A. Valenzuela:
Power-Efficient System Design for Cellular-Based Machine-to-Machine Communications.


Vaibhav Godbole:
Performance Analysis of Clustering Protocol Using Fuzzy Logic for Wireless Sensor Network.
Vaibhav Godbole:
Performance Analysis of Bio-Inspired Routing Protocols based on Random Waypoint Mobility Model.
Florent Krzakala, Marc Mézard, Lenka Zdeborová:
Compressed Sensing under Matrix Uncertainty: Optimum Thresholds and Robust Approximate Message Passing.
Shaoshi Chen, Maximilian Jaroschek, Manuel Kauers, Michael F. Singer:
Desingularization Explains Order-Degree Curves for Ore Operators.

Sayan Saha, Saptarshi Das, Anindya Pakhira, Sumit Mukherjee, Indranil Pan:
Comparative Studies on Decentralized Multiloop PID Controller Design Using Evolutionary Algorithms.
Chung-Pi Lee, Shih-Chun Lin, Hsuan-Jung Su, H. Vincent Poor:
Multi-user lattice coding for the multiple-access relay channel.
Iztok Fister, Marjan Mernik, Bogdan Filipic:
Graph 3-coloring with a hybrid self-adaptive evolutionary algorithm.
Narayanan Krishnan, Roy D. Yates, Narayan B. Mandayam:
Cellular Systems with Many Antennas: Large System Analysis under Pilot Contamination.
Erwan Le Martelot, Chris Hankin:
Fast Multi-Scale Community Detection based on Local Criteria within a Multi-Threaded Algorithm.
Kumar Viswanatha, Sharadh Ramaswamy, Ankur Saxena, Emrah Akyol, Kenneth Rose:
On Large Scale Distributed Compression and Dispersive Information Routing for Networks.
Imam Tahyudin:
Analysis of Influence of Internet Retail Service Quality (IRSQ) to Consumer Online Shopping Satisfaction at www.kebanaran.com.
Romeu Monteiro, Susana Sargento, Wantanee Viriyasitavat, Ozan K. Tonguz:
Improving VANET Protocols via Network Science.
(Withdrawn) Multiple layer Phase Shift Linear Space-time Block Code for High-speed Visible Light Communications.
Hilmi Yildirim, Vineet Chaoji, Mohammed J. Zaki:
DAGGER: A Scalable Index for Reachability Queries in Large Dynamic Graphs.
Yeow Meng Chee, San Ling, Huaxiong Wang, Liang Feng Zhang:
Upper Bounds on Matching Families in $\mathbb{Z}_{pq}^n$.
Hongyu Liang, Tiancheng Lou, Haisheng Tan, Yuexuan Wang, Dongxiao Yu:
On the Complexity of Connectivity in Cognitive Radio Networks Through Spectrum Assignment.
Sambit Bakshi, Hunny Mehrotra, Banshidhar Majhi:
Stratified SIFT Matching for Human Iris Recognition.
Yunus Sarikaya, Özgür Erçetin, Can Emre Koksal:
Dynamic Network Control for Confidential Multi-hop Communications.
Loet Leydesdorff, Ismael Rafols, Chaomei Chen:
Interactive Overlays of Journals and the Measurement of Interdisciplinarity on the basis of Aggregated Journal-Journal Citations.
Philippe Gaborit, Olivier Ruatta, Julien Schrek:
On the complexity of the Rank Syndrome Decoding problem.
Masoud Badiei Khuzani, Patrick Mitran:
On online energy harvesting in multiple access communication systems.
(Withdrawn) On the Minimum Energy of Sending Gaussian Multiterminal Sources over the Gaussian MAC.
Lorenzo Fagiano, Aldo U. Zgraggen, Manfred Morari, Mustafa Khammash:
Automatic crosswind flight of tethered wings for airborne wind energy: modeling, control design and experimental results.
Austin R. Benson, David F. Gleich, James Demmel:
Direct QR factorizations for tall-and-skinny matrices in MapReduce architectures.
Charith Perera, Arkady B. Zaslavsky, Peter Christen, Dimitrios Georgakopoulos:
CA4IOT Context Awareness for Internet of Things.
Charith Perera, Arkady B. Zaslavsky, Peter Christen, Ali Salehi, Dimitrios Georgakopoulos:
Connecting Mobile Things to Global Sensor Network Middleware using System-generated Wrappers.
R. Kaniezhil, C. Chandrasekar:
Performance Analysis of Wireless Network with Opportunistic Spectrum Sharing via Cognitive Radio Nodes.


Matteo Riondato, Fabio Vandin:
Controlling False Positives in Frequent Itemsets Mining through the VC-Dimension.
A. Taufiq Asyhari, Tobias Koch, Albert Guillen i Fabregas:
Nearest Neighbor Decoding and Pilot-Aided Channel Estimation for Fading Channels.
M. Suresh, Maheswar Dutta, S. Purushothaman:
Application of polynomial vector (pv) processing to improve the estimation performance of bio diesel in variable compression ratio diesel engine.
Abhik Banerjee, Vincent Gauthier, Houda Labiod, Hossam Afifi:
Cooperation Optimized Design for Information Dissemination in Vehicular Networks using Evolutionary Game Theory.
Shreeshankar Bodas, Bilal Sadiq:
Polynomial-complexity, Low-delay Scheduling for SCFDMA-based Wireless Uplink Networks (Technical Report).
Guanfeng Liang, Ulas C. Kozat:
FAST CLOUD: Pushing the Envelope on Delay Performance of Cloud Storage with Coding.
Sidhant Misra, Pablo A. Parrilo:
Analysis of weighted ℓ1-minimization for model based compressed sensing.
Joonwoo Shin, Jaekyun Moon:
Regularized Zero-Forcing Interference Alignment for the Two-Cell MIMO Interfering Broadcast Channel.
R. Sarkar, Samarjit Das, Namrata Vaswani:
PaFiMoCS: Particle Filtered Modified-CS and Applications in Visual Tracking across Illumination Change.


Marcello Balduccini, Michael Gelfond:
Language ASP{f} with Arithmetic Expressions and Consistency-Restoring Rules.
Günther Charwat, Johannes Peter Wallner, Stefan Woltran:
Utilizing ASP for Generating and Visualizing Argumentation Frameworks.
Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, Peter Schüller:
Eliminating Unfounded Set Checking for HEX-Programs.
Martin Gebser, Torsten Grote, Roland Kaminski, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub:
Answer Set Programming for Stream Reasoning.
Joohyung Lee, Yunsong Meng:
Two New Definitions of Stable Models of Logic Programs with Generalized Quantifiers.
Joost Vennekens, Marc Denecker:
Extending FO(ID) with Knowledge Producing Definitions: Preliminary Results.
F. Penunuri, O. Mendoza, Carlos Alberto Cruz Villar, R. Peon-Escalante, C. Villanueva:
A Dual Number Approach for Numerical Calculation of Velocity and Acceleration in the Spherical 4R Mechanism.
Amin Sakzad, J. Harshan, Emanuele Viterbo:
On Complex LLL Algorithm for Integer Forcing Linear Receivers.


Julia Mortera, Paola Vicard, Cecilia Vergari:
Object-Oriented Bayesian Networks for a Decision Support System for Antitrust Authority Enforcement.
(Withdrawn) A joint communication and application simulator for NoC-based SoCs.


Magnus Wahlström:
Abusing the Tutte Matrix: An Algebraic Instance Compression for the K-set-cycle Problem.
Stanislaw Saganowski, Piotr Bródka, Przemyslaw Kazienko:
Influence Of The User Importance Measure On The Group Evolution Discovery.
Bruno Bauwens, Anton Makhlin, Nikolay K. Vereshchagin, Marius Zimand:
Short lists with short programs in short time.
Bernat Gaston, Jaume Pujol, Mercè Villanueva:
A realistic distributed storage system that minimizes data storage and repair bandwidth.

Kun Tang, Qiwei Jin, Xin Zou, Jiansheng Yang, Michael W. Vannier, Ge Wang:
Academic Ranking with Web Mining and Axiomatic Analysis.
Marzieh Sameni Toosarvandani, Nasser Modiri, Mahdi Afzali:
The risk assessment and treatment approach in order to provide lan security based on isms standard.
Xin Jin, Abdelwaheb Marzouki, Djamal Zeghlache, Linghe Kong, Athanasios V. Vasilakos:
Two Design Issues in Cognitive Sub-Small Cell for Sojourners.
Jade Alglave, Daniel Kroening, Michael Tautschnig:
Partial Orders for Efficient BMC of Concurrent Software.
Xi Liu, Elza Erkip:
Energy-Efficient Communication over Gaussian Interference Networks with Processing Energy Cost.

Alexey Solovyev, Thomas C. Hales:
Formal Verification of Nonlinear Inequalities with Taylor Interval Approximations.
Qi Hu, Nail A. Gumerov, Ramani Duraiswami:
Parallel Algorithms for Constructing Data Structures for Fast Multipole Methods.
Rodrigo C. de Lamare, Raimundo Sampaio Neto, Martin Haardt:
Blind Adaptive Constrained Constant-Modulus Reduced-Rank Interference Suppression Algorithms Based on Interpolation, Switched Decimation and Filtering.

Jie Gao, Sergiy A. Vorobyov, Hai Jiang, Jianshu Zhang, Martin Haardt:
Sum-Rate Maximization with Minimum Power Consumption for MIMO DF Two-Way Relaying: Part I - Relay Optimization.
S. P. Christmas, R. M. Leidich:
Driving an NP-Complete problem with Combinatorial Decomposition to generate a unique and irreversible bitstring from a single integer seed value.
Yulong Shen, Xiaohong Jiang, Jianfeng Ma:
Generalized Secure Transmission Protocol for Flexible Load-Balance Control with Cooperative Relays in Two-Hop Wireless Networks.
Kui Xu, Youyun Xu, Dongmei Zhang, Wenfeng Ma:
On Max-SINR Receiver for HMT System over Doubly Dispersive Channel.
(Withdrawn) FCA - An Approach On LEACH Protocol Of Wireless Sensor Networks Using Fuzzy Logic.
Balázs Lengyel, Tamás Sebestyén, Loet Leydesdorff:
USPTO Patent Maps in Central Europe: Can "Cathedrals" be Built on the Ruins of Socialism?
Robby G. McKilliam, André Pollok, Bill Cowley, I. Vaughan L. Clarkson, Barry G. Quinn:
Carrier phase and amplitude estimation for phase shift keying using pilots and data.
Lutz Bornmann, Richard Williams:
How to calculate the practical significance of citation impact differences? An empirical example from evaluative institutional bibliometrics using adjusted predictions and marginal effects.
Saied M. Abd El-atty, Z. M. Gharsseldien:
Analytical model for mobile user connectivity in coexisting femtocell/macrocell networks.

Daniela Luzi, Fabrizio Pecoraro:
An Information System to Support and Monitor Clinical Trial Process.
Trisiladevi C. Nagavi, Nagappa U. Bhajantri:
An Extensive Analysis of Query by Singing/Humming System Through Query Proportion.
Nargess Memarsadeghi, Jacqueline Le Moigne, Peter N. Blake, Peter A. Morey, Wayne B. Landsman, Victor J. Chambers, Samuel H. Moseley:
Image Registration for Stability Testing of MEMS.
Gerhard Wunder, Chan Zhou, Martin Kasparick:
Stability and Cost Optimization in Controlled Random Walks Using Scheduling Fields.
Anna-Lena Trautmann:
A lower bound for constant dimension codes from multi-component lifted MRD codes.
P. Mahesha, D. S. Vinod:
An Approach for Classification of Dysfluent and Fluent Speech Using K-NN And SVM.
Bogdan Patrut:
Syntactic Analysis Based on Morphological Characteristic Features of the Romanian Language.
Xiaowang Zhang, Kewen Wang, Zhe Wang, Yue Ma, Guilin Qi:
A Distance-based Paraconsistent Semantics in DL-Lite.


Chunhua Shen, Peng Wang, Sakrapee Paisitkriangkrai, Anton van den Hengel:
Training Effective Node Classifiers for Cascade Classification.
Yeow Meng Chee, Han Mao Kiah, Punarbasu Purkayastha, Chengmin Wang:
Importance of Symbol Equity in Coded Modulation for Power Line Communications.


Chiara Ravazzi, Sophie Fosson, Enrico Magli:
Distributed soft thresholding for sparse signal recovery.
Paul de Kerret, Xinping Yi, David Gesbert:
On the Degrees of Freedom of the K-User Time Correlated Broadcast Channel with Delayed CSIT.
Xiaowang Zhang, Guohui Xiao, Zuoquan Lin:
A Paraconsistent Tableau Algorithm Based on Sign Transformation in Semantic Web.
Casey C. Bennett, Kris K. Hauser:
Artificial Intelligence Framework for Simulating Clinical Decision-Making: A Markov Decision Process Approach.
Anna-Lena Trautmann, Natalia Silberstein, Joachim Rosenthal:
List Decoding of Lifted Gabidulin Codes via the Plücker Embedding.
Bassem Bouaziz, Walid Mahdi, Tarek Zlitni, Abdelmajid Ben Hamadou:
Content-Based Video Browsing by Text Region Localization and Classification.
Bassem Bouaziz, Tarek Zlitni, Walid Mahdi:
AViTExt: Automatic Video Text Extraction, A new Approach for video content indexing Application.
Ashish Khisti, Stark C. Draper:
The Diversity-Multiplexing Tradeoff of Delay-Constrained Sequential Streaming.
Stanislav Böhm, Stefan Göller, Petr Jancar:
Equivalence of Deterministic One-Counter Automata is NL-complete.

Michael Fink, Yuliya Lierler:
Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), 5th International Workshop, September 4, 2012, Budapest, Hungary.
Chenda Liao, Prabir Barooah:
Estimation from Relative Measurements in Mobile Networks with Markovian Switching Topology: Clock Skew and Offset Estimation for Time Synchronization.
Yoora Kim, Kyunghan Lee, Ness B. Shroff, Injong Rhee:
Providing Probabilistic Guarantees on the Time of Information Spread in Opportunistic Networks.

Kannan Achan, Brendan J. Frey, Ralf Koetter:
A Factorized Variational Technique for Phase Unwrapping in Markov Random Fields.
Nicos Angelopoulos, James Cussens:
Markov Chain Monte Carlo using Tree-Based Priors on Model Structure.
Salem Benferhat, Didier Dubois, Souhila Kaci, Henri Prade:
Graphical readings of possibilistic logic bases.
Hans L. Bodlaender, Arie M. C. A. Koster, Frank van den Eijkhof, Linda C. van der Gaag:
Pre-processing for Triangulation of Probabilistic Networks.

Craig Boutilier, Fahiem Bacchus, Ronen I. Brafman:
UCP-Networks: A Directed Graphical Representation of Conditional Utilities.
Robert G. Cowell:
Conditions Under Which Conditional Independence and Scoring Methods Lead to Identical Selection of Bayesian Network Models.
Gary A. Davis:
Using Bayesian Networks to Identify the Causal Effect of Speeding in Individual Vehicle/Pedestrian Collisions.
Nando de Freitas, Pedro A. d. F. R. Højen-Sørensen, Michael I. Jordan, Stuart J. Russell:
Variational MCMC.
Amol Deshpande, Minos N. Garofalakis, Michael I. Jordan:
Efficient Stepwise Selection in Decomposable Models.
Tal El-Hay, Nir Friedman:
Incorporating Expressive Graphical Models in Variational Approximations: Chain-Graphs and Hidden Variables.

Phan Hong Giang, Prakash P. Shenoy:
A Comparison of Axiomatic Approaches to Qualitative Decision Making Using Possibility Theory.
Steven B. Gillispie, Michael D. Perlman:
Enumerating Markov Equivalence Classes of Acyclic Digraph Models.
Vu A. Ha, Peter Haddawy, John Miyamoto:
Similarity Measures on Preference Structures, Part II: Utility Functions.
Joseph Y. Halpern, Judea Pearl:
Causes and Explanations: A Structural-Model Approach --- Part 1: Causes.
Hiromitsu Hattori, Makoto Yokoo, Yuko Sakurai, Toramatsu Shintani:
A Dynamic Programming Model for Determining Bidding Strategies in Sequential Auctions: Quasi-linear Utility and Budget Constraints.
Geoffrey E. Hinton, Yee Whye Teh:
Discovering Multiple Constraints that are Frequently Approximately Satisfied.
Eric Horvitz, Yongshao Ruan, Carla P. Gomes, Henry A. Kautz, Bart Selman, David Maxwell Chickering:
A Bayesian Approach to Tackling Hard Computational Problems.



Petri Kontkanen, Petri Myllymäki, Henry Tirri:
Classifier Learning with Supervised Marginal Likelihood.
John D. Lafferty, Larry A. Wasserman:
Iterative Markov Chain Monte Carlo Computation of Reference Priors and Minimax Risk.
Kathryn Blackmond Laskey, Suzanne M. Mahoney, Ed Wright:
Hypothesis Management in Situation-Specific Network Construction.
Uri Lerner, Eran Segal, Daphne Koller:
Exact Inference in Networks with Discrete Children of Continuous Parents.
Anders L. Madsen, Dennis Nilsson:
Solving Influence Diagrams using HUGIN, Shafer-Shenoy and Lazy Propagation.
Dimitris Margaritis, Sebastian Thrun:
A Bayesian Multiresolution Independence Test for Continuous Variables.



Ann E. Nicholson, Tal Boneh, Tim A. Wilkin, Kaye Stacey, Liz Sonenberg, Vicki Steinle:
A Case Study in Knowledge Discovery and Elicitation in an Intelligent Tutoring Application.




Alexandrin Popescul, Lyle H. Ungar, David M. Pennock, Steve Lawrence:
Probabilistic Models for Unified Collaborative and Content-Based Recommendation in Sparse-Data Environments.


Khashayar Rohanimanesh, Sridhar Mahadevan:
Decision-Theoretic Planning with Concurrent Temporally Extended Actions.








Max Welling, Yee Whye Teh:
Belief Optimization for Binary Networks: A Stable Alternative to Loopy Belief Propagation.
Bo Zhang, Qingsheng Cai, Jianfeng Mao, Baining Guo:
Planning and Acting under Uncertainty: A New Model for Spoken Dialogue Systems.
Andrew Zimdars, David Maxwell Chickering, Christopher Meek:
Using Temporal Data for Making Recommendations.
Ounasser Abid, Jaouad Ettanfouhi, Omar Khadir:
New digital signature protocol based on elliptic curves.


Teruyoshi Washizawa, Akira Asai, Nobuhiro Yoshikawa:
A New Approach for Solving Singular Systems in Topology Optimization Using Krylov Subspace Methods.
Jianxin Li, Chengfei Liu, Rui Zhou, Jeffrey Xu Yu:
Quasi-SLCA based Keyword Query Processing over Probabilistic XML Data.
Jianxin Li, Chengfei Liu, Liang Yao, Jeffrey Xu Yu:
Context-based Diversification for Keyword Queries over XML Data.
Jianxin Li, Chengfei Liu, Liang Yao, Jeffrey Xu Yu, Rui Zhou:
Query-driven Frequent Co-occurring Term Extraction over Relational Data using MapReduce.
Henning Thomsen, Nuno K. Pratas, Cedomir Stefanovic, Petar Popovski:
Analysis of the LTE Access Reservation Protocol for Real-Time Traffic.
Richard Tantius, Daniel Speicher, Andreas Behrend:
Towards an Application of Update Propagation on Logic Programs Representing Java Source Code.

Oleg Sychev, Dmitry Mamontov:
Determining token sequence mistakes in responses to questions with open text answer.
Federica Panella, Matteo Pradella, Dino Mandrioli, Violetta Lonati:
Operator Precedence ω-languages.
Jing Yang, Maosheng Xiong, Cunsheng Ding:
Weight Distribution of a Class of Cyclic Codes with Arbitrary Number of Zeros.
Fredrik Johansson, Manuel Kauers, Marc Mezzarobba:
Finding Hyperexponential Solutions of Linear ODEs by Numerical Evaluation.
Akashnil Dutta, Reut Levi, Dana Ron, Ronitt Rubinfeld:
A simple online competitive adaptation of Lempel-Ziv compression with efficient random access support.
Yunghsiang S. Han, Hung-Ta Pai, Rong Zheng, Pramod K. Varshney:
Update-Efficient Regenerating Codes with Minimum Per-Node Storage.


Paulo Shakarian, Patrick Roos, Geoffrey Moores:
A Novel Analytical Method for Evolutionary Graph Theory Problems.
Mohamed Eisa, Amira Eletrebi, Ebrahim Elhenawy:
Enhancing the retrieval performance by combing the texture and edge features.
Hiroki Sayama, Irene Pestov, Jeffrey Schmidt, Benjamin James Bush, Chun Wong, Junichi Yamanoi, Thilo Gross:
Modeling complex systems with adaptive networks.

Yichao Huang, Bhaskar D. Rao:
An Analytical Framework for Heterogeneous Partial Feedback Design in Heterogeneous Multicell OFDMA Networks.
Damien Woods, Ho-Lin Chen, Scott Goodfriend, Nadine Dabby, Erik Winfree, Peng Yin:
Active Self-Assembly of Algorithmic Shapes and Patterns in Polylogarithmic Time.

Tina Yu, Dave Wilkinson, Julian Clark, Morgan Sullivan:
Computational Intelligence for Deepwater Reservoir Depositional Environments Interpretation.
Yingfei Diao, Zhiyun Lin, Minyue Fu, Huanshui Zhang:
A New Distributed Localization Method for Sensor Networks.
Hachem Kadri, Asma Rabaoui, Philippe Preux, Emmanuel Duflos, Alain Rakotomamonjy:
Functional Regularized Least Squares Classi cation with Operator-valued Kernels.



Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi:
Verification of Agent-Based Artifact Systems.
S. Thirumurugan, E. George Dharma Prakash Raj:
An Extended Weighted Partitioning Around Cluster Head Mechanism for Ad Hoc Network.
Victor Marsault, Jacques Sakarovitch:
Ultimate periodicity of b-recognisable sets : a quasilinear procedure.
Rodrigo C. de Lamare, Raimundo Sampaio Neto:
Reduced-Rank Space-Time Interference Suppression with Joint Iterative Least Squares Algorithms for Spread Spectrum Systems.
Rodrigo C. de Lamare, Raimundo Sampaio Neto:
Adaptive Reduced-Rank Equalization Algorithms Based on Alternating Optimization Design Techniques for Multi-Antenna Systems.
Sou-Cheng T. Choi, Michael A. Saunders:
ALGORITHM xxx: MINRES-QLP for Singular Symmetric and Hermitian Linear Equations and Least-Squares Problems.
Ahmed Rhif, Zohra Kardous, Naceur Benhadj Braiek:
A High-Order Sliding Mode Observer: Torpedo Guidance Application.
Ahmed Rhif, Zohra Kardous, Naceur Benhadj Braiek:
A Sliding Mode Multimodel Control for a Sensorless Photovoltaic System.
(Withdrawn) A Sliding Mode-Multimodel Control with Sliding Mode Observer for a Sensorless Pumping System.
Christopher D. Hollander, Annie S. Wu:
Distributed Consensus Formation Through Unconstrained Gossiping.
George Athanasiou, Pradeep Chathuranga Weeraddana, Carlo Fischione, Leandros Tassiulas:
Optimizing Client Association in 60 GHz Wireless Access Networks.
Per Austrin, Subhash Khot:
A Characterization of Approximation Resistance for Even $k$-Partite CSPs.
Mehmet Karaca, Eylem Ekici, Özgür Erçetin:
Throughput-Optimal Distributed Algorithm for WLANs over Fading Channels.

Joydeep Basu, Tarun Kanti Bhattacharyya:
Microelectromechanical Resonators for Radio Frequency Communication Applications.

Eugenio Culurciello, Jordan Bates, Aysegul Dundar, José Antonio Pérez-Carrasco, Clément Farabet:
Clustering Learning for Robotic Vision.
Christian Osendorfer, Justin Bayer, P. Patrick van der Smagt:
Unsupervised Feature Learning for low-level Local Image Descriptors.

Abhishek Jain, Giuseppe Bonanno, Hima Gupta, Ajay Goyal:
Generic System Verilog Universal Verification Methodology based Reusable Verification Environment for Efficient Verification of Image Signal Processing IPs/SoCs.
Wentao Huang, Tracey Ho, Hongyi Yao, Sidharth Jaggi:
Rateless Resilient Network Coding Against Byzantine Adversaries.

Anh Cat Le Ngo, Kenneth Li-Minn Ang, Jasmine Kah-Phooi Seng, Guoping Qiu:
Wavelet-based Scale Saliency.

Tao Wang, Yong Fang, Luc Vandendorpe:
Novel Subcarrier-pair based Opportunistic DF Protocol for Cooperative Downlink OFDMA.
Tao Wang, Yong Fang, Luc Vandendorpe:
Power minimization for OFDM Transmission with Subcarrier-pair based Opportunistic DF Relaying.
Stefano Bilotta, Elisa Pergola, Renzo Pinzani, Simone Rinaldi:
Recurrence relations versus succession rules.
Vijayvaradharaj T. Muralidharan, B. Sundar Rajan:
On the Vector Linear Solvability of Networks and Discrete Polymatroids.
Dohy Hong, Fabien Mathieu, Gérard Burnside:
Convergence of the D-iteration algorithm: convergence rate and asynchronous distributed scheme.
Muhammad Yasir Malik:
An Outline of Security in Wireless Sensor Networks: Threats, Countermeasures and Implementations.


Qasim Nasar-Ullah:
A parallel implementation of a derivative pricing model incorporating SABR calibration and probability lookup tables.
Amin Abdel Khalek, Constantine Caramanis, Robert W. Heath Jr.:
Loss Visibility Optimized Real-time Video Transmission over MIMO Systems.
Juan José Jaramillo, Lei Ying:
Distributed Admission Control without Knowledge of the Capacity Region.
Mery Yolima Uribe Rios, Rafael V. Páez:
Recommendation system for information services adapted, over terrestrial digital television.
Joonseok Lee, Seungyeon Kim, Guy Lebanon, Yoram Singer:
Matrix Approximation under Local Low-Rank Assumption.
(Withdrawn) Audio Artist Identification by Deep Neural Network.
Qin Huang, Li Tang, Zulin Wang, Zixiang Xiong, Shanbao He:
A Low-Complexity Encoding of Quasi-Cyclic Codes Based on Galois Fourier Transform.
Allison B. Lewko, Mark Lewko:
On the Complexity of Asynchronous Agreement Against Powerful Adversaries.
Judy Hoffman, Erik Rodner, Jeff Donahue, Kate Saenko, Trevor Darrell:
Efficient Learning of Domain-invariant Image Representations.
Easwar Vivek Mangipudi, Venkatesh Ramaiyan:
A Framework for Quality of Service in a Multiple Access Network.
Junhong Lin, Song Li:
Sparse Recovery with Coherent Tight Frame via Analysis Dantzig Selector and Analysis LASSO.
Mong-Jen Kao, Der-Tsai Lee, Dorothea Wagner:
Approximating Metrics by Tree Metrics of Small Distance-Weighted Average Stretch.
Marcos Sanchez-Elez, Sara Roman:
Reconfiguration Strategies for Online Hardware Multitasking in Embedded Systems.
Wanwei Liu, Rui Wang, Xianjin Fu, Ji Wang, Wei Dong, Xiaoguang Mao:
Counterexample-Preserving Reduction for Symbolic Model Checking.
Arpan Chattopadhyay, Marceau Coupechoux, Anurag Kumar:
Measurement Based Impromptu Deployment of a Multi-Hop Wireless Relay Network.
Jean-Marc Champarnaud, Jean-Philippe Dubernard, Hadrien Jeanne, Ludovic Mignot:
Two-Sided Derivatives for Regular Expressions and for Hairpin Expressions.
Sainbayar Sukhbaatar, Takaki Makino, Kazuyuki Aihara:
Auto-pooling: Learning to Improve Invariance of Image Features from Image Sequences.



Karin Schnass:
On the Identifiability of Overcomplete Dictionaries via the Minimisation Principle Underlying K-SVD.
Steven Robert Young, Itamar Arel:
Recurrent Online Clustering as a Spatio-Temporal Feature Extractor in DeSTIN.

Felix Bauer, Roland Memisevic:
Feature grouping from spatially constrained multiplicative interaction.

Gang Mei, John C. Tipper, Nengxiong Xu:
3D Geological Modeling and Visualization of Rock Masses Based on Google Earth: A Case Study.
(Withdrawn) A Geometric Descriptor for Cell-Division Detection.

Tommi Vatanen, Tapani Raiko, Harri Valpola, Yann LeCun:
Pushing Stochastic Gradient towards Second-Order Methods -- Backpropagation Learning with Transformations in Nonlinearities.
Xavier Glorot, Antoine Bordes, Jason Weston, Yoshua Bengio:
A Semantic Matching Energy Function for Learning with Multi-relational Data.
Itai Ashlagi, Patrick Jaillet, Vahideh H. Manshadi:
Kidney Exchange in Dynamic Sparse Heterogenous Pools.

Vamsi K. Potluru, Sergey M. Plis, Jonathan Le Roux, Barak A. Pearlmutter, Vince D. Calhoun, Thomas P. Hayes:
Block Coordinate Descent for Sparse NMF.
Charles F. Cadieu, Ha Hong, Dan Yamins, Nicolas Pinto, Najib J. Majaj, James J. DiCarlo:
The Neural Representation Benchmark and its Evaluation on Brain and Machine.
Xanadu Halkias, Sébastien Paris, Hervé Glotin:
Sparse Penalty in Deep Belief Networks: Using the Mixed Norm Constraint.
Sang Hyun Kim, Eric Feron, John-Paul Clarke, Aude Marzuoli, Daniel Delahaye:
Airport Gate Scheduling for Passengers, Aircraft, and Operation.
Joan Bruna, Arthur Szlam, Yann LeCun:
Learning Stable Group Invariant Representations with Convolutional Networks.
Yoonseop Kang, Seungjin Choi:
Learning Features with Structure-Adapting Multi-view Exponential Family Harmoniums.
Guillaume Desjardins, Razvan Pascanu, Aaron C. Courville, Yoshua Bengio:
Metric-Free Natural Gradient for Joint-Training of Boltzmann Machines.
Luis Gonzalo Sánchez Giraldo, José C. Príncipe:
Information Theoretic Learning with Infinitely Divisible Kernels.
Ian R. Petersen:
Negative Imaginary Systems Theory in the Robust Control of Highly Resonant Flexible Structures.
Matthew D. Zeiler, Rob Fergus:
Stochastic Pooling for Regularization of Deep Convolutional Neural Networks.
Alan L. Yuille, Roozbeh Mottaghi:
Complexity of Representation and Inference in Compositional Models with Part Sharing.
Camille Couprie, Clément Farabet, Laurent Najman, Yann LeCun:
Indoor Semantic Segmentation using depth information.
Boyi Xie, Shuheng Zheng:
Kernelized Locality-Sensitive Hashing for Semi-Supervised Agglomerative Clustering.





Bo Ji, Gagan Raj Gupta, Xiaojun Lin, Ness B. Shroff:
Low-Complexity Scheduling Policies for Achieving Throughput and Delay Optimality in Multi-Channel Wireless Networks.
Ahmed Bader, Karim Abed-Meraim, Mohamed-Slim Alouini:
Technical Report: Beaconless Geo-Routing Under The Spotlight: Practical Link Models and Application Scenarios.
Carlos H. M. de Lima, Mehdi Bennis, Matti Latva-aho:
Statistical Analysis of Self-Organizing Networks with Biased Cell Association and Interference Avoidance.
Dong Yu, Michael L. Seltzer, Jinyu Li, Jui-Ting Huang, Frank Seide:
Feature Learning in Deep Neural Networks - A Study on Speech Recognition Tasks.
Vianney Perchet, Marc Quincampoix:
On an unified framework for approachability in games with or without signals.
Tsuyoshi Okita:
Joint Space Neural Probabilistic Language Model for Statistical Machine Translation.
Danqi Chen, Richard Socher, Christopher D. Manning, Andrew Y. Ng:
Learning New Facts From Knowledge Bases With Neural Tensor Networks and Semantic Word Vectors.

Wojciech Mazurczyk, Maciej Karas, Krzysztof Szczypiorski:
SkyDe: a Skype-based Steganographic Method.
Kye-Hyeon Kim, Rui Cai, Lei Zhang, Seungjin Choi:
Regularized Discriminant Embedding for Visual Descriptor Learning.
Richard Socher, Milind Ganjoo, Hamsa Sridhar, Osbert Bastani, Christopher D. Manning, Andrew Y. Ng:
Zero-Shot Learning Through Cross-Modal Transfer.
Dimitrios Katselis, Cristian R. Rojas, Mats Bengtsson, Emil Björnson, Xavier Bombois, Nafiseh Shariati, Magnus Jansson, Håkan Hjalmarsson:
Training Sequence Design for MIMO Channels: An Application-Oriented Approach.
Federico Schlüter, Facundo Bromberg, Alejandro Edera:
The IBMAP approach for Markov networks structure learning.
Timothy H. Vines, Rose L. Andrew, Dan G. Bock, Michelle T. Franklin, Kimberly J. Gilbert, Nolan C. Kane, Jean-Sébastien Moore, Brook T. Moyers, Sébastien Renaut, Diana J. Rennison, Thor Veen, Sam Yeaman:
Mandated data archiving greatly improves access to research data.
el Houcein el Abdalaoui, Mohamed Dahmoune, Djelloul Ziadi:
On the transition reduction problem for finite automata.
Derek C. Rose, Itamar Arel:
Gradient Driven Learning for Pooling in Visual Pipeline Feature Extraction Models.
Vikas Dhiman, Julian Ryde, Jason J. Corso:
Mutual Localization: Two Camera Relative 6-DOF Pose Estimation from Reciprocal Fiducial Observation.
Tom Schaul, Yann LeCun:
Adaptive learning rates and parallelization for stochastic, sparse, non-smooth gradients.

Joshua Brakensiek, Aaron Potechin:
Bounds on the Size of Sound Monotone Switching Networks Accepting Permutation Sets of Directed Trees.
Tomas Mikolov, Kai Chen, Greg Corrado, Jeffrey Dean:
Efficient Estimation of Word Representations in Vector Space.
Maheswaran Sathiamoorthy, Megasthenis Asteris, Dimitris S. Papailiopoulos, Alexandros G. Dimakis, Ramkumar Vadali, Scott Chen, Dhruba Borthakur:
XORing Elephants: Novel Erasure Codes for Big Data.
Teresa Alsinet, Lluis Godo:
A Complete Calculus for Possibilistic Logic Programming with Fuzzy Propositional Variables.
Christophe Andrieu, Nando de Freitas, Arnaud Doucet:
Reversible Jump MCMC Simulated Annealing for Neural Networks.
Salem Benferhat, Didier Dubois, Souhila Kaci, Henri Prade:
A Principled Analysis of Merging Operations in Possibilistic Logic.
Daniel S. Bernstein, Shlomo Zilberstein, Neil Immerman:
The Complexity of Decentralized Control of Markov Decision Processes.


Urszula Chajewska, Daphne Koller:
Utilities as Random Variables: Density Estimation and Structure Discovery.
Jian Cheng, Marek J. Druzdzel:
Computational Investigation of Low-Discrepancy Sequences in Simulation Algorithms for Bayesian Networks.
Frans Coetzee, Steve Lawrence, C. Lee Giles:
Bayesian Classification and Feature Selection from Finite Data Sets.







Scott Davies, Andrew W. Moore:
Mix-nets: Factored Mixtures of Gaussians in Bayesian Networks With Mixed Continuous And Discrete Variables.
Arnaud Doucet, Nando de Freitas, Kevin P. Murphy, Stuart J. Russell:
Rao-Blackwellised Particle Filtering for Dynamic Bayesian Networks.
Brendan J. Frey, Nebojsa Jojic:
Learning Graphical Models of Images, Videos and Their Spatial Transformations.


Phan Hong Giang, Prakash P. Shenoy:
A Qualitative Linear Utility Theory for Spohn's Theory of Epistemic Beliefs.


David Heckerman, David Maxwell Chickering, Christopher Meek, Robert Rounthwaite, Carl Myers Kadie:
Dependency Networks for Collaborative Filtering and Data Visualization.
Michael C. Horsch, William S. Havens:
Probabilistic Arc Consistency: A Connection between Constraint Reasoning and Probabilistic Reasoning.





Pedro Larrañaga, Ramon Etxeberria, José Antonio Lozano, José M. Peña:
Combinatorial Optimization by Learning and Simulation of Bayesian Networks.




Andrew W. Moore:
The Anchors Hierachy: Using the triangle inequality to survive high dimensional data.
Thomas D. Nielsen, Finn Verner Jensen:
Representing and Solving Asymmetric Bayesian Decision Problems.
Thomas D. Nielsen, Pierre-Henri Wuillemin, Finn Verner Jensen, Uffe Kjærulff:
Using ROBDDs for Inference in Bayesian Networks with Troubleshooting as an Example.
Luis E. Ortiz, Leslie Pack Kaelbling:
Adaptive Importance Sampling for Estimation in Structured Domains.
Dmitry Pavlov, Heikki Mannila, Padhraic Smyth:
Probabilistic Models for Query Approximation with Large Sparse Binary Datasets.
David M. Pennock, Eric Horvitz, Steve Lawrence, C. Lee Giles:
Collaborative Filtering by Personality Diagnosis: A Hybrid Memory- and Model-Based Approach.
David M. Pennock, Michael P. Wellman:
Compact Securities Markets for Pareto Optimal Reallocation of Risk.

Silja Renooij, Linda C. van der Gaag, Simon Parsons, Shaw Green:
Pivotal Pruning of Trade-offs in QPNs.

Satinder P. Singh, Michael J. Kearns, Yishay Mansour:
Nash Convergence of Gradient Dynamics in Iterated General-Sum Games.







Wim Wiegerinck:
Variational Approximations between Mean Field Theory and the Junction Tree Algorithm.
David M. Williamson, Russell G. Almond, Robert J. Mislevy:
Model Criticism of Bayesian Networks with Latent Variables.
Frank Wittig, Anthony Jameson:
Exploiting Qualitative Knowledge in the Learning of Conditional Probabilities of Bayesian Networks.
Carlo Comin:
(Extended Version) Algebraic Characterization of the Class of Languages recognized by Measure Only Quantum Automata.
Hoyt A. Koepke, Elizabeth Thompson:
Efficient Identification of Equivalences in Dynamic Graphs and Pedigree Structures.
Anh Cat Le Ngo, Kenneth Li-Minn Ang, Guoping Qiu, Jasmine Kah-Phooi Seng:
Multiscale Discriminant Saliency for Visual Attention.
Tingting Zhao, Hirotaka Hachiya, Voot Tangkaratt, Jun Morimoto, Masashi Sugiyama:
Efficient Sample Reuse in Policy Gradients with Parameter-based Exploration.
Zhenghong Chen, Xiaoxian Tang, Bican Xia:
Generic Regular Decompositions for Parametric Polynomial Systems.
Alexandre Maurer, Sébastien Tixeuil:
Parameterizable Byzantine Broadcast in Loosely Connected Networks.
Deepali Virmani, Satbir Jain:
Performance Comparison of Proposed Lifetime Maximizing Trees for Data Aggregation in Wireless Sensor Networks.
Deepali Virmani, Satbir Jain:
Stable Routing for achieving Quality of Service in wireless Sensor Networks.

Çaglar Gülçehre, Yoshua Bengio:
Knowledge Matters: Importance of Prior Information for Optimization.
Benjamin Doerr, Anton V. Eremeev, Frank Neumann, Madeleine Theile, Christian Thyssen:
Evolutionary Algorithms and Dynamic Programming.
Xibo Jin, Fa Zhang, Ying Song, Liya Fan, Zhiyong Liu:
Energy-Efficient Scheduling with Time and Processors Eligibility Restrictions.


Luke Bornn, Yutian Chen, Nando de Freitas, Mareija Eskelin, Jing Fang, Max Welling:
Herded Gibbs Sampling.

Amina Piemontese, Andrea Modenini, Giulio Colavolpe, Nader Alagha:
Improving the Spectral Efficiency of Nonlinear Satellite Systems through Time-Frequency Packing and Advanced Processing.
Saeid Haghighatshoar, Emmanuel Abbe, Emre Telatar:
A new entropy power inequality for integer-valued random variables.
Fabian Hueske, Aljoscha Krettek, Kostas Tzoumas:
Enabling Operator Reordering in Data Flow Programs Through Static Code Analysis.
Rajeev K. Shakya, Satyam Agarwal, Yatindra Nath Singh, Nishchal K. Verma, Amitabha Roy:
DSAT-MAC : Dynamic Slot Allocation based TDMA MAC protocol for Cognitive Radio Networks.
John Lasseter, John Cipriano:
Design Pattern-Based Extension of Class Hierarchies to Support Runtime Invariant Checks.
Daniel Apon, Jonathan Katz, Alex J. Malozemoff:
One-Round Multi-Party Communication Complexity of Distinguishing Sums.
Hyang-Won Lee, Kayi Lee, Eytan Modiano:
Maximizing Reliability in WDM Networks through Lightpath Routing.
Andrés Cordón-Franco, Hans van Ditmarsch, David Fernández-Duque, Fernando Soler-Toscano:
A geometric protocol for cryptography with cards.
Sebastian Riedel, Limin Yao, Andrew McCallum:
Latent Relation Representations for Universal Schemas.
Alin Bostan, Pierre Lairez, Bruno Salvy:
Creative telescoping for rational functions using the Griffiths-Dwork method.
Yi Liu, Chau Yuen, Jiming Chen, Xianghui Cao:
A Scalable Hybrid MAC Protocol for Massive M2M Networks.
Mahimn Pandya, Hiren Joshi, Ashish Jani:
A Novel Digital Watermarking Algorithm using Random Matrix Image.
Djallel Bouneffouf:
Applying machine learning techniques to improve user acceptance on ubiquitous environement.
Faîçal Felhi, Jalel Akaichi:
A new approach towards the self-adaptability of Service-Oriented Architectures to the context based on workflow.
César Sánchez, Alejandro Sánchez:
A Decidable Theory of Skiplists of Unbounded Size and Arbitrary Height.
Mohamed Ali Mahjoub, Nabil Ghanmy, Khlifia Jayech, Ikram Miled:
Multiple models of Bayesian networks applied to offline recognition of Arabic handwritten city names.
Lael Odhner, Leif P. Jentoft, Mark R. Claffee, Nicholas Corson, Yaroslav Tenzer, Raymond R. Ma, Martin Buehler, Robert Kohout, Robert D. Howe, Aaron M. Dollar:
A Compliant, Underactuated Hand for Robust Manipulation.
Mathis Seidl, Andreas Schenk, Clemens Stierstorfer, Johannes B. Huber:
Multilevel Polar-Coded Modulation.
Haiqin Wang, Marek J. Druzdzel:
User Interface Tools for Navigation in Conditional Probability Tables and Elicitation of Probabilities in Bayesian Networks.
Anne S. Hsu, Nick Chater, Paul M. B. Vitányi:
Language learning from positive evidence, reconsidered: A simplicity-based approach.
Jean-Guillaume Dumas, Clément Pernet, Ziad Sultan:
Simultaneous computation of the row and column rank profiles.
Valentin Savin, David Declercq:
Binary Diversity for Non-Binary LDPC Codes over the Rayleigh Channel.
Luis Filipe Coelho Antunes, Andre Souto, Andreia Teixeira, Paul M. B. Vitányi:
On the logical depth function.
Sara Ahmadian, Zachary Friggstad, Chaitanya Swamy:
Local-Search based Approximation Algorithms for Mobile Facility Location Problems.
Bharath Ramesh, Calvin J. Ribbens, Srinidhi Varadarajan:
Regional Consistency: Programmability and Performance for Non-Cache-Coherent Systems.
Andrew Mastin, Patrick Jaillet:
Average-Case Performance of Rollout Algorithms for Knapsack Problems.
Olivier Cessenat:
Sophie, an FDTD code on the way to multicore, getting rid of the memory bandwidth bottleneck better using cache.
Deepali Virmani, Satbir Jain:
Decentralized Lifetime Minimizing Tree for Data Aggregation in Wireless Sensor Networks.
(Withdrawn) A PID-Sliding Mode Control Design for a Coupled Tank.
Salah Werda, Walid Mahdi, Abdelmajid Ben Hamadou:
Lip Localization and Viseme Classification for Visual Speech Recognition.
Ludo Waltman, Nees Jan van Eck, Paul Wouters:
Counting publications and citations: Is more always better?
Nando de Freitas, Kevin P. Murphy:
Proceedings of the Twenty-Eighth Conference on Uncertainty in Artificial Intelligence (2012).
Christopher Meek, Uffe Kjærulff:
Proceedings of the Nineteenth Conference on Uncertainty in Artificial Intelligence (2003).
John S. Breese, Daphne Koller:
Proceedings of the Seventeenth Conference on Uncertainty in Artificial Intelligence (2001).
Adnan Darwiche, Nir Friedman:
Proceedings of the Eighteenth Conference on Uncertainty in Artificial Intelligence (2002).
Yunghsiang Sam Han, Hung-Ta Pai, Rong Zheng, Pramod K. Varshney:
Update-Efficient Error-Correcting Regenerating Codes.
Chao-Wei Huang, Tsung-Hui Chang, Xiangyun Zhou, Yao-Win Peter Hong:
Two-Way Training for Discriminatory Channel Estimation in Wireless MIMO Systems.
Vishnu Namboodiri, Kiran Venugopal, B. Sundar Rajan:
Physical Layer Network Coding for Two-Way Relaying with QAM.
Marco T. Morazán, Peter Achten:
Proceedings First International Workshop on Trends in Functional Programming in Education, TFPIE 2012, University of St. Andrews, Scotland, UK, 11th June 2012.
Deepali Virmani, Satbir Jain:
Real Time scheduling with Virtual Nodes for Self Stabilization in Wireless Sensor Networks.
Firoj Parwej:
English Sentence Recognition using Artificial Neural Network through Mouse-based Gestures.
Dan Garber, Elad Hazan:
A Polynomial Time Conditional Gradient Algorithm with Applications to Online and Stochastic Optimization.
Kirana Kumara P.:
A MATLAB Code for Three Dimensional Linear Elastostatics using Constant Boundary Elements.
Robert Mercas, Pascal Ochem, Alexey V. Samsonov, Arseny M. Shur:
Binary Patterns in Binary Cube-Free Words: Avoidability and Growth.

An Liu, Vincent K. N. Lau, Youjian Liu:
Duality and Optimization for Generalized Multi-hop MIMO Amplify-and-Forward Relay Networks with Linear Constraints.
Lawrence Ong, Sarah J. Johnson, Christopher M. Kellett:
The Capacity Region of the Finite-Field Multi-Way Relay Channel with Pairwise Common Messages.
Nicolas Kuhn, Olivier Mehani, Huyen Chi Bui, Jérôme Lacan, José Radzik, Emmanuel Lochin:
Physical Channel Access (PCA): Time and Frequency Access Methods Emulation in NS-2.
Yaqin Zhou, Xiang-Yang Li, Min Liu, XuFei Mao, Shaojie Tang, Zhongcheng Li:
Throughput Optimizing Localized Link Scheduling for Multihop Wireless Networks Under Physical Interference Model.
Nikzad Babaii Rizvandi, Javid Taheri, Albert Y. Zomaya:
Pattern Matching for Self- Tuning of MapReduce Jobs.
Hongyu Cui, Rongqing Zhang, Lingyang Song, Bingli Jiao:
Capacity Analysis of Bidirectional AF Relay Selection with Imperfect Channel State Information.
Nicolò Cesa-Bianchi, Claudio Gentile, Fabio Vitale, Giovanni Zappella:
A Linear Time Active Learning Algorithm for Link Classification.
Nicolò Cesa-Bianchi, Claudio Gentile, Fabio Vitale, Giovanni Zappella:
A Correlation Clustering Approach to Link Classification in Signed Networks.

Helmi Ben Hmida, Christophe Cruz, Frank Boochs, Christophe Nicolle:
From Quantitative Spatial Operator to Qualitative Spatial Relation Using Constructive Solid Geometry, Logic Rules and Optimized 9-IM Model, A Semantic Based Approach.
David Werner, Christophe Cruz, Christophe Nicolle:
Ontology-based Recommender System of Economic Articles.
Helmi Ben Hmida, Christophe Cruz, Frank Boochs, Christophe Nicolle:
From 3D Point Clouds To Semantic Objects An Ontology-Based Detection Approach.
Yeow-Khiang Chia, Sumei Sun, Rui Zhang:
Energy Cooperation in Cellular Networks with Renewable Powered Base Stations.
Lukas Bolliger, Hans-Andrea Loeliger, Christian Vogel:
LMMSE Estimation and Interpolation of Continuous-Time Signals from Discrete-Time Samples Using Factor Graphs.
Mrinal Nandi, Anup Dewanji, Bimal K. Roy, Santanu Sarkar:
Model Selection Approach for Distributed Fault Detection in Wireless Sensor Networks.
Hyungsik Ju, Rui Zhang:
A Novel Mode Switching Scheme Utilizing Random Beamforming for Opportunistic Energy Harvesting.
Omar Kermia:
Schedulability Analysis of Distributed Real-Time Applications under Dependence and Several Latency Constraints.

Zhengchun Zhou, Aixian Zhang, Cunsheng Ding, Maosheng Xiong:
The Weight Enumerator of Three Families of Cyclic Codes.
Adrian Klein, Fuyuki Ishikawa, Shinichi Honiden:
A Scalable Distributed Architecture for Network- and QoS-aware Service Composition.
Frank Boochs, Andreas Marbs, Hung Truong, Helmi Ben Hmida, Ashish Karmacharya, Christophe Cruz, Adlane Habed, Yvon Voisin, Christophe Nicolle:
Integration of knowledge to support automatic object reconstruction from images and 3D data.
Luis Quesada, Fernando Berzal, Juan C. Cubero:
A DSL for Mapping Abstract Syntax Models to Concrete Syntax Models in ModelCC.
Adrien Baranes, Pierre-Yves Oudeyer:
Active Learning of Inverse Models with Intrinsically Motivated Goal Exploration in Robots.
Kurt Mehlhorn, Michael Sagraloff, Pengming Wang:
From Approximate Factorization to Root Isolation with Application to Cylindrical Algebraic Decomposition.
David Minguillo, Mike Thelwall:
The entrepreneurial role of the University: a link analysis of York Science Park.
Mohamed Ahmed, Stefano Traverso, Paolo Giaccone, Emilio Leonardi, Saverio Niccolini:
Analyzing the Performance of LRU Caches under Non-Stationary Traffic Patterns.


Xin-Ji Liu, Shu-Tao Xia:
Reconstruction Guarantee Analysis of Binary Measurement Matrices Based on Girth.
David Minguillo, Mike Thelwall:
Mapping the network structure of science parks: An exploratory study of cross-sectoral interactions reflected on the web.
Christian Retoré:
The Montagovian generative lexicon ΛTyn: an integrated type-theoretical framework for compositional semantics and lexical pragmatics.
Ludo Waltman, Nees Jan van Eck:
A systematic empirical comparison of different approaches for normalizing citation impact indicators.
Djamal Belazzougui, Adeline Pierrot, Mathieu Raffinot, Stéphane Vialette:
Single and multiple consecutive permutation motif search.
David G. Harris, Manish Purohit:
Improved algorithms and analysis for the laminar matroid secretary problem.
Philipp Rümmer, Hossein Hojjat, Viktor Kuncak:
Disjunctive Interpolants for Horn-Clause Verification (Extended Technical Report).


Helmi Ben Hmida, Christophe Cruz, Frank Boochs, Christophe Nicolle:
Knowledge Base Approach for 3D Objects Detection in Point Clouds Using 3D Processing and Specialists Knowledge.
Helmi Ben Hmida, Christophe Cruz, Frank Boochs, Christophe Nicolle:
From 9-IM Topological Operators to Qualitative Spatial Relations using 3D Selective Nef Complexes and Logic Rules for bodies.
Rodrigo C. de Lamare, Raimundo Sampaio Neto:
Adaptive Interference Suppression for CDMA Systems using Interpolated FIR Filters with Adaptive Interpolators in Multipath Channels.
Rodrigo C. de Lamare, Raimundo Sampaio Neto:
Blind Adaptive Algorithms for Decision Feedback DS-CDMA Receivers in Multipath Channels.
Rodrigo C. de Lamare, Raimundo Sampaio Neto:
Adaptive Space-Time Decision Feedback Neural Detectors with Data Selection for High-Data Rate Users in DS-CDMA Systems.
Vicenç Torra, Klara Stokes:
A formalization of re-identification in terms of compatible probabilities.
Shang Li, Matthew R. McKay, Yang Chen:
On the Distribution of MIMO Mutual Information: An In-Depth Painlevé Based Characterization.
Harpreet S. Dhillon, Marios Kountouris, Jeffrey G. Andrews:
Downlink MIMO HetNets: Modeling, Ordering Results and Performance Analysis.
Alin Bostan, Shaoshi Chen, Frédéric Chyzak, Ziming Li, Guoce Xin:
Hermite Reduction and Creative Telescoping for Hyperexponential Functions.
Yichao Huang, Bhaskar D. Rao:
Performance Analysis of Heterogeneous Feedback Design in an OFDMA Downlink with Partial and Imperfect Feedback.
Alin Bostan, Shaoshi Chen, Frédéric Chyzak, Ziming Li:
Complexity of Creative Telescoping for Bivariate Rational Functions.
Shaoshi Chen, Ruyong Feng, Guofeng Fu, Ziming Li:
On the Structure of Compatible Rational Functions.
Fei He, Yin Sun, Limin Xiao, Xiang Chen, Chong-Yung Chi, Shidong Zhou:
Technical Report on "Capacity Region Bounds and Resource Allocation for Two-Way OFDM Relay Channels".
(Withdrawn) Heteroscedastic Conditional Ordinal Random Fields for Pain Intensity Estimation from Facial Images.

Longkun Guo, Hong Shen, Kewen Liao:
Improved Approximation Algorithms for Computing k Disjoint Paths Subject to Two Constraints.
John T. O'Donnell:
Connecting the Dots: Computer Systems Education using a Functional Hardware Description Language. 20-39
Jurriën Stutterheim, Wouter Swierstra, S. Doaitse Swierstra:
Forty hours of declarative programming: Teaching Prolog at the Junior College Utrecht. 50-62
Haiyan Sun, Qiaoyan Wen, Hua Zhang, Zhengping Jin, Wenmin Li:
Cryptanalysis and improvement of two certificateless three-party authenticated key agreement protocols.
Albert No, Tsachy Weissman:
Minimax Filtering Regret via Relations between Information and Estimation.
Shaoquan Zhang, Minghua Chen, Zongpeng Li, Longbo Huang:
Optimal Distributed Broadcasting with Per-neighbor Queues in Acyclic Overlay Networks with Arbitrary Underlay Capacity Constraints.
Son Hoang Dau, Wentu Song, Zheng Dong, Chau Yuen:
Balanced Sparsest Generator Matrices for MDS Codes.
Nicolò Cesa-Bianchi, Claudio Gentile, Fabio Vitale, Giovanni Zappella:
Active Learning on Trees and Graphs.

Mohsen Bahrami, Ali Bereyhi, Mahtab Mirmohseni, Mohammad Reza Aref:
Secret Key Agreement Using Conferencing in State- Dependent Multiple Access Channels with An Eavesdropper.
Radu Iosif, Adam Rogalewicz, Jirí Simácek:
The Tree Width of Separation Logic with Recursive Definitions.
Mohsen Bahrami, Ali Bereyhi, Sadaf Salehkalaibar, Mohammad Reza Aref:
Key agreement over a 3-receiver broadcast channel.
Radhakrishnan Delhibabu, Gerhard Lakemeyer:
A Rational and Efficient Algorithm for View Revision in Databases.
Jonathan Adams, Karen Gurney, Daniel Hook, Loet Leydesdorff:
International collaboration clusters in Africa.
Fabio Vitale, Nicolò Cesa-Bianchi, Claudio Gentile, Giovanni Zappella:
See the Tree Through the Lines: The Shazoo Algorithm.
Linda Reijnhoudt, Rodrigo Costas, Ed C. M. Noyons, Katy Börner, Andrea Scharnhorst:
"Seed+Expand": A validated methodology for creating high quality publication oeuvres of individual researchers.
Emmanuel Filiot, Olivier Gauwin, Pierre-Alain Reynier, Frédéric Servais:
From Two-Way to One-Way Finite State Transducers.
Bogdan Gliwa, Jaroslaw Kozlak, Anna Zygmunt, Krzysztof Cetnarowicz:
Models of Social Groups in Blogosphere Based on Information about Comment Addressees and Sentiments.

Khaled M. Elbassioni, Kazuhisa Makino, Kurt Mehlhorn, Fahimeh Ramezani:
On Randomized Fictitious Play for Approximating Saddle Points Over Convex Sets.
Alireza Vahid, Mohammad Ali Maddah-Ali, Amir Salman Avestimehr:
Capacity Results for Binary Fading Interference Channels with Delayed CSIT.

Helmi Ben Hmida, Christophe Cruz, Christophe Nicolle, Frank Boochs:
Toward the Automatic Generation of a Semantic VRML Model from Unorganized 3D Point Clouds.
Ozan Sener, Kemal Ugur, A. Aydin Alatan:
Efficient MRF Energy Propagation for Video Segmentation via Bilateral Filters.
Karthikeyan Shanmugam, Alexandros G. Dimakis, Michael Langberg:
Local Graph Coloring and Index Coding.
Patrick Mäder:
Interactive Traceability Querying and Visualization for Coping With Development Complexity.
A. N. Zainab, K. W. U. Anyi, Nor Badrul Anuar:
A Single Journal Study : Malaysian Journal of Computer Science.
A. N. Zainab, S. A. Sanni, N. N. Edzan, A. P. Koh:
Auditing scholarly journals published in Malaysia and assessing their visibility.
S. A. Sanni:
Publication productivity and citation analysis of the Medical Journal of Malaysia: 2004 - 2008.
Z. Zahidah, Abdullah Noorhidawati, A. N. Zainab:
Exploring the needs of Malay manuscript studies community for an e-learning platform.
H. Safahieh, S. A. Sanni, A. N. Zainab:
International Contribution to Nipah Virus Research 1999-2010.
A. A. Maidabino, A. N. Zainab:
Collection security management at university libraries: assessment of its implementation status.
Roesnita Ismail, A. N. Zainab:
Information systems security in special and public libraries: an assessment of status.
A. N. Zainab:
Open Access repositories and journals for visibility: Implications for Malaysian libraries.
A. Abdullah, A. N. Zainab:
Collaborative digital library of historical resources: Evaluation of first users.
Hoda S. Ayatollahi Tabatabaii, Hamid R. Rabiee, Mohammad Hossein Rohban, Mostafa Salehi:
Incorporating Betweenness Centrality in Compressive Sensing for Congestion Detection.
Roesnita Ismail, A. N. Zainab:
The Pattern of E-Book Use amongst Undergraduates an Malaysia: A Case of to Know is to Use.
Yuichiro Miki, Teruyoshi Washizawa:
A2ILU: Auto-accelerated ILU Preconditioner for Sparse Linear Systems.
Lazar Velimirovic, Zoran H. Peric, Miomir Stankovic, Jelena Nikolic:
Design of Compandor Based on Approximate the First-Degree Spline Function.
Shin Harase:
On the $\mathbb{F}_2$-linear relations of Mersenne Twister pseudorandom number generators.
Gilbert Fridgen, Julia Heidemann:
The Importance of Continuous Value Based Project Management in the Context of Requirements Engineering.
Xiaobo Qu, Ying Chen, Xiaoxing Zhuang, Zhiyu Yan, Di Guo, Zhong Chen:
Spread spectrum compressed sensing MRI using chirp radio frequency pulses.

Jun Kurihara, Ryutaroh Matsumoto, Tomohiko Uyematsu:
Relative Generalized Rank Weight of Linear Codes and Its Applications to Network Coding.
Francisco S. Melo, Manuel Lopes:
Multi-class Generalized Binary Search for Active Inverse Reinforcement Learning.

Martina Cardone, Daniela Tuninetti, Raymond Knopp, Umer Salim:
On Gaussian Half-Duplex Relay Networks.
Shahab Ghasemi-Goojani, Hamid Behroozi:
On the Achievable Rate-Regions for State-Dependent Gaussian Interference Channel.
Gadi Gayathri Devi, Priya Kumari, Eslavath Jyoshna, Deepika, Garimella Rama Murthy:
Time/Computationally Network Architecture: Wireless Sensor Fusion.
Tsz Chiu Kwok, Lap Chi Lau, Yin Tat Lee, Shayan Oveis Gharan, Luca Trevisan:
Improved Cheeger's Inequality: Analysis of Spectral Partitioning Algorithms through Higher Order Spectral Gap.
Janusz A. Brzozowski, Hellis Tamm:
Minimal Nondeterministic Finite Automata and Atoms of Regular Languages.
Conrad Lee, Aaron F. McDaid, Pádraig Cunningham:
Measuring the Significance of the Geographic Flow of Music.



Jean-Charles Faugère, Mohab Safey El Din, Thibaut Verron:
Computing Gröbner bases for quasi-homogeneous systems.
Arun Padakandla, Sandeep S. Pradhan:
A new achievable rate region for the multiple access channel with noncausal states.

Arun Padakandla, S. Sandeep Pradhan:
Computing sum of sources over an arbitrary multiple access channel.
Mohammadali Mohammadi, Himal A. Suraweera, Xiangyun Zhou:
Outage Probability of Wireless Ad Hoc Networks with Cooperative Relaying.
(Withdrawn) Optimal Amplify-and-Forward Schemes for Relay Channels with Correlated Relay Noise.
Keigo Takeuchi, Toshiyuki Tanaka, Kenta Kasai:
A Potential Theory of General Spatially-Coupled Systems via a Continuum Approximation.
(Withdrawn) High Capacity Indoor & Hotspot Wireless System in Shared Spectrum - A Techno-Economic Analysis.
Jens Peter Andersen:
Association between quality of clinical practice guidelines and citations given to their references.
Iñaki Ucar, Jorge Navarro-Ortiz, Pablo Ameigeiras, Juan M. López-Soler:
Video Tester -- A multiple-metric framework for video quality assessment over IP networks.
Houssam Khalil, Bernard Mourrain, Michelle Schatzman:
Superfast solution of Toeplitz systems based on syzygy reduction.
Derek Greene, Pádraig Cunningham:
Producing a Unified Graph Representation from Multiple Social Network Views.
Leslie Ann Goldberg, Paul W. Goldberg, Piotr Krysta, Carmine Ventre:
Ranking Games that have Competitiveness-based Strategies.
Mohammad Ali Maddah-Ali, Urs Niesen:
Decentralized Caching Attains Order-Optimal Memory-Rate Tradeoff.
Alexey A. Frolov, Victor V. Zyablov, Vladimir Sidorenko, Robert F. H. Fischer:
On a Multiple-Access in a Vector Disjunctive Channel.
Muhammad Marwan Muhammad Fuad, Pierre-François Marteau:
Towards a faster symbolic aggregate approximation method.
Tamara G. Kolda, Ali Pinar, Todd D. Plantenga, C. Seshadhri, Christine Task:
Counting Triangles in Massive Graphs with MapReduce.
Ioannis Katsikarelis:
Computing bounded-width tree and branch decompositions of k-outerplanar graphs.
Florent Krzakala, Marc Mézard, Lenka Zdeborová:
Phase Diagram and Approximate Message Passing for Blind Calibration and Dictionary Learning.
Patrick Clarke, Rodrigo C. de Lamare:
Resource Allocation and Interference Mitigation Techniques for Cooperative Multi-Antenna and Spread Spectrum Wireless Networks.
Rafael Gregorio Lucas D'Oliveira, Marcelo Firer:
The Packing Radius of a Code and Partitioning Problems: the Case for Poset Metrics.
Tao Jin, Triet Vo Huu, Erik-Oliver Blass, Guevara Noubir:
BaPu: Efficient and Practical Bunching of Access Point Uplinks.
Nicolas Kuhn, Huyen Chi Bui, Jérôme Lacan, José Radzik, Emmanuel Lochin:
On the benefits of random access methods on TCP performance over DVB-RCS2.
Nicola Blefari-Melazzi, Andrea Detti, Giacomo Morabito, Stefano Salsano, Luca Veltri:
Information Centric Networking over SDN and OpenFlow: Architectural Aspects and Experiments on the OFELIA Testbed.
A. G. Stefani, Johannes B. Huber, Christophe Jardin, Heinrich Sticht:
A Tight Lower Bound on the Mutual Information of a Binary and an Arbitrary Finite Random Variable in Dependence of the Variational Distance.
Chiara Orsini, Enrico Gregori, Luciano Lenzini, Dmitri V. Krioukov:
Evolution of the Internet k-dense structure.
Arno G. Stefani, Johannes B. Huber, Christophe Jardin, Heinrich Sticht:
Confidence Intervals for the Mutual Information.
Luís Filipe Teófilo, Luís Paulo Reis:
Identifying Players Strategies in No Limit Texas Holdém Poker through the Analysis of Individual Moves.
Luís Filipe Teófilo, Luís Paulo Reis, Henrique Lopes Cardoso, Dinis Félix, Rui Sêca, João M. Ferreira Calado, Pedro Mendes, Nuno Cruz, Vitor Pereira, Nuno Passos:
Computer Poker Research at LIACC.
Shu-Tao Xia, Xin-Ji Liu, Yong Jiang, Hai-Tao Zheng:
Sparks and Deterministic Constructions of Binary Measurement Matrices from Finite Geometry.
Hajo Broersma, Jirí Fiala, Petr A. Golovach, Tomás Kaiser, Daniël Paulusma, Andrzej Proskurowski:
Linear-Time Algorithms for Scattering Number and Hamilton-Connectivity of Interval Graphs.
Yuan Liu, Jianhua Mo, Meixia Tao:
QoS-Aware Transmission Policies for OFDM Bidirectional Decode-and-Forward Relaying.
Taghi Javdani, Hazura Zulzalil, Abdul Azim Abdul Ghani, Abu Bakar Md Sultan, Reza Meimandi Parizi:
On the Current Measurement Practices in Agile Software Development.
Vladimir Edemskiy, Andrew Ivanov:
Autocorrelation and Linear Complexity of Quaternary Sequences of Period 2p Based on Cyclotomic Classes of Order Four.
Farshad Safaei, Majed ValadBeigi:
A Probabilistic Approach to Analysis of Reliability in n-D Meshes with Interconnect Router Failures.
Akira Kageyama, Nobuaki Ohno, Shintaro Kawahara, Kazuo Kashiyama, Hiroaki Ohtani:
Immersive VR Visualizations by VFIVE. Part 2: Applications.
B. K. Tripathy, D. P. Acharjya, V. Cynthya:
A Framework for Intelligent Medical Diagnosis using Rough Set with Formal Concept Analysis.
Adrián Romero-Garcés, Luis Manso, Marco Antonio Gutiérrez, Ramón Cintas, Pablo Bustos:
Improving the lifecycle of robotics components using Domain-Specific Languages.
Edward Moroshko, Koby Crammer:
Weighted Last-Step Min-Max Algorithm with Improved Sub-Logarithmic Regret.
Santhosh Kumar, Andrew J. Young, Nicolas Macris, Henry D. Pfister:
A Proof of Threshold Saturation for Spatially-Coupled LDPC Codes on BMS Channels.
Zack Fitzsimmons, Edith Hemaspaandra, Lane A. Hemaspaandra:
X THEN X: Manipulation of Same-System Runoff Elections.
Adriano Pastore, Tobias Koch, Javier Rodríguez Fonollosa:
A Rate-Splitting Approach to Fading Channels with Imperfect Channel-State Information.
Travis Gagie, Danny Hermelin, Gad M. Landau, Oren Weimann:
Binary Jumbled Pattern Matching on Trees and Tree-Like Structures.

Thijs Laarhoven, Michele Mosca, Joop van de Pol:
Solving the Shortest Vector Problem in Lattices Faster Using Quantum Search.

Kasper F. Trillingsgaard, Osvaldo Simeone, Petar Popovski, Torben Larsen:
Blahut-Arimoto Algorithm and Code Design for Action-Dependent Source Coding Problems.
Elizeu Santos-Neto, David Condon, Nazareno Andrade, Adriana Iamnitchi, Matei Ripeanu:
Reuse, Temporal Dynamics, Interest Sharing, and Collaboration in Social Tagging Systems.
Samer Al-Kiswany, Emalayan Vairavanathan, Lauro B. Costa, Hao Yang, Matei Ripeanu:
The Case for Cross-Layer Optimizations in Storage: A Workflow-Optimized Storage System.
Óscar González, Carlos Beltrán, Ignacio Santamaría:
On the Number of Interference Alignment Solutions for the K-User MIMO Channel with Constant Coefficients.
Diana Maamari, Daniela Tuninetti, Natasha Devroye:
Approximate Sum-Capacity of K-user Cognitive Interference Channels with Cumulative Message Sharing.
Jung Hyun Bae, Jungwon Lee, Inyup Kang:
On the achievable region for interference networks with point-to-point codes.
André Luckow, Mark Santcroos, Ole Weidner, Ashley Zebrowski, Shantenu Jha:
Pilot-Data: An Abstraction for Distributed Data.
Alexander Zeh, Antonia Wachter-Zeh, Maximilien Gadouleau, Sergey Bezzateev:
Generalizing Bounds on the Minimum Distance of Cyclic Codes Using Cyclic Product Codes.
Johan Sebastian Rosenkilde Nielsen, Alexander Zeh:
Multi-Trial Guruswami--Sudan Decoding for Generalised Reed--Solomon Codes.
Ramanan Subramanian, Badri N. Vellambi, Ingmar Land:
Information Loss due to Finite Block Length in a Gaussian Line Network: An Improved Bound.
Hailong Shi, Hao Zhang:
Tight is better: Performance Improvement of the Compressive Classifier Using Equi-Norm Tight Frames.

Volker Roth, Benjamin Güldenring, Eleanor G. Rieffel, Sven Dietrich, Lars Ries:
A Secure Submission System for Online Whistleblowing Platforms.
(Withdrawn) Neural Networks Built from Unreliable Components.
Saeed Hajizadeh, Mostafa Monemizadeh, Elham Bahmani, Ghosheh Abed Hodtani, Mohsen Joneidi:
State-Dependent Z Channel.
Jeon-Hyung Kang, Kristina Lerman, Lise Getoor:
LA-LDA: A Limited Attention Topic Model for Social Recommendation.
Sundeep Rangan, Philip Schniter, Erwin Riegler, Alyson K. Fletcher, Volkan Cevher:
Fixed Points of Generalized Approximate Message Passing with Arbitrary Matrices.
Hagit Attiya, Sandeep Hans, Petr Kuznetsov, Srivatsan Ravi:
Safety of Deferred Update in Transactional Memory.
Asit Kumar Pradhan, Arunkumar Subramanian, Andrew Thangaraj:
Deterministic Constructions for Large Girth Protograph LDPC Codes.
Chao Shen, Wei-Chiang Li, Tsung-Hui Chang:
Simultaneous Information and Energy Transfer: A Two-User MISO Interference Channel Case.
David N. Reshef, Yakir Reshef, Michael Mitzenmacher, Pardis Sabeti:
Equitability Analysis of the Maximal Information Coefficient, with Comparisons.
Mahdi Zamanighomi, Zhengdao Wang:
Multiple-Antenna Interference Channel with Receive Antenna Joint Processing and Real Interference Alignment.


T. Hitendra Sarma, P. Viswanath, D. Sai Koti Reddy, S. Sri Raghava:
An improvement to k-nearest neighbor classifier.
Natalia Silberstein, Ankit Singh Rawat, Onur Ozan Koyluoglu, Sriram Vishwanath:
Optimal Locally Repairable Codes via Rank-Metric Codes.


Farzin Haddadpour, Mahdi Jafari Siavoshani, Mayank Bakshi, Sidharth Jaggi:
On AVCs with Quadratic Constraints.
Fotis Foukalas, George T. Karetsos, Lazaros F. Merakos:
Capacity Optimization through Sensing Threshold Adaptation for Cognitive Radio Networks.
Mark M. Christiansen, Ken R. Duffy, Flávio du Pin Calmon, Muriel Médard:
Brute force searching, the typical set and Guesswork.

Michael Helmling, Stefan Ruzika:
Towards An Exact Combinatorial Algorithm for LP Decoding of Turbo Codes.
Saeid Haghighatshoar, Emmanuel Abbe:
Polarization of the Rényi Information Dimension for Single and Multi Terminal Analog Compression.
Or Ordentlich, Uri Erez:
Precoded Integer-Forcing Equalization Universally Achieves the MIMO Capacity up to a Constant Gap.
Michael Heindlmaier, Onurcan Iscan, Christopher Rosanka:
Scalar Quantize-and-Forward for Symmetric Half-duplex Two-Way Relay Channels.
Erdem Koyuncu, Hamid Jafarkhani:
Variable-Length Channel Quantizers for Maximum Diversity and Array Gains.
Piotr Krzysztof Skowron, Piotr Faliszewski, Arkadii M. Slinko:
Achieving Fully Proportional Representation is Easy in Practice.
Rodrigo C. de Lamare:
Joint Power Adjustment and Interference Mitigation Techniques for Cooperative Spread Spectrum Systems.
Yuval Lomnitz, Meir Feder:
A Universal Probability Assignment for Prediction of Individual Sequences.
Louay Bazzi, Badih Ghazi, Rüdiger L. Urbanke:
Linear Programming Decoding of Spatially Coupled Codes.
Lóránt Farkas, Tamás Kói:
Random Access and Source-Channel Coding Error Exponents for Multiple Access Channels.
B. Santhana Krishnan, Ayalvadi Ganesh, D. Manjunath:
On Connectivity Thresholds in Superposition of Random Key Graphs on Random Geometric Graphs.
Christian Koller, Martin Haenggi, Jörg Kliewer, Daniel J. Costello Jr.:
Joint Design of Channel and Network Coding for Star Networks.
Milan S. Derpich, Eduardo I. Silva, Jan Østergaard:
Fundamental Inequalities and Identities Involving Mutual and Directed Informations in Closed-Loop Systems.
Panagiotis Kouvaros, Alessio Lomuscio:
Automatic Verification of Parameterised Interleaved Multi-Agent Systems.
Son Hoang Dau, Zheng Dong, Chau Yuen, Terence H. Chan:
Delay Minimization in Varying-Bandwidth Direct Multicast with Side Information.
Yuksel Ozan Basciftci, Can Emre Koksal, Füsun Özgüner:
To Obtain or not to Obtain CSI in the Presence of Hybrid Adversary.
Song-Nam Hong, Giuseppe Caire:
Structured Lattice Codes for 2 \times 2 \times 2 MIMO Interference Channel.

Shun Watanabe, Shigeaki Kuzuoka, Vincent Yan Fu Tan:
Non-Asymptotic and Second-Order Achievability Bounds for Coding With Side-Information.
Tugcan Aktas, Ali Özgür Yilmaz, Emre Aktas:
Generalizing the Sampling Property of the Q-function for Error Rate Analysis of Cooperative Communication in Fading Channels.
Maria Gregori, Miquel Payaró:
On the precoder design of a wireless energy harvesting node in linear vector Gaussian channels with arbitrary input distribution.
Meghyn Bienvenu, Balder ten Cate, Carsten Lutz, Frank Wolter:
Ontology-based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP.
Jos H. Weber, Kees A. Schouhamer Immink, Paul H. Siegel, Theo G. Swart:
Perspectives on Balanced Sequences.
Holger Paul Keeler, Bartlomiej Blaszczyszyn, Mohamed Kadhem Karray:
SINR-based coverage probability in cellular networks under multiple connections.
Parthajit Mohapatra, Chandra R. Murthy:
Secrecy in the 2-User Symmetric Deterministic Interference Channel with Transmitter Cooperation.
Photios Stavrou, Charalambos D. Charalambous:
Variational Equalities of Directed Information and Applications.
Photios Stavrou, Charalambos D. Charalambous, Christos K. Kourtellaris:
Optimal Nonstationary Reproduction Distribution for Nonanticipative RDF on Abstract Alphabets.
Johan Sebastian Rosenkilde Nielsen:
Generalised Multi-sequence Shift-Register Synthesis using Module Minimisation.
(Withdrawn) Analysis of IEEE 802.15.4 MAC under low duty cycle.
Thomas Couronné, Zbigniew Smoreda, Ana-Maria Olteanu Raimond:
Chatty Mobiles:Individual mobility and communication patterns.
Thomas Couronné, Jean-Samuel Beuscart, Cedric Chamayou:
Self-Organizing Map and social networks: Unfolding online social popularity.
Georgios Rodolakis:
Information Theoretic Cut-set Bounds on the Capacity of Poisson Wireless Networks.
Yu-Chih Huang, Urs Niesen, Piyush Gupta:
Energy-Efficient Communication in the Presence of Synchronization Errors.

Tao Wang, François Glineur, Jérôme Louveaux, Luc Vandendorpe:
Weighted Sum Rate Maximization for Downlink OFDMA with Subcarrier-pair based Opportunistic DF Relaying.
Xiangnan Kong, Philip S. Yu, Xue Wang, Ann B. Ragin:
Discriminative Feature Selection for Uncertain Graph Classification.
Jonathan A. Kelner, Lorenzo Orecchia, Aaron Sidford, Zeyuan Allen Zhu:
A Simple, Combinatorial Algorithm for Solving SDD Systems in Nearly-Linear Time.
Corrado Monti, Alessandro Rozza, Giovanni Zappella, Matteo Zignani, Adam Arvidsson, Monica Poletti:
Political Disaffection: a case study on the Italian Twitter community.
Shahrouz Sharifi, Tolga M. Duman:
On the Performance of Low Density Parity Check Codes for Gaussian Interference Channels.
Alhussein Fawzi, Pascal Frossard:
Image registration with sparse approximations in parametric dictionaries.
Liming Wang, Miguel R. D. Rodrigues, Lawrence Carin:
Generalized Bregman Divergence and Gradient of Mutual Information for Vector Poisson Channels.
(Withdrawn) Clustering-Based Matrix Factorization.
Gustavo Arroyo-Figueroa, Luis Enrique Sucar:
A Temporal Bayesian Network for Diagnosis and Prediction.
Katy S. Azoury, Manfred K. Warmuth:
Relative Loss Bounds for On-line Density Estimation with the Exponential Family of Distributions.
Philip S. Barry, Kathryn Blackmond Laskey:
An Application of Uncertain Reasoning to Requirements Engineering.
Salem Benferhat, Didier Dubois, Laurent Garcia, Henri Prade:
Possibilistic logic bases and possibilistic graphs.
Magnus Boman, Paul Davidsson, Håkan L. S. Younes:
Artificial Decision Making Under Uncertainty in Intelligent Buildings.
Craig Boutilier, Ronen I. Brafman, Holger H. Hoos, David Poole:
Reasoning With Conditional Ceteris Paribus Preference Statem.
Craig Boutilier, Moisés Goldszmidt, Bikash Sabata:
Continuous Value Function Approximation for Sequential Bidding Policies.
Xavier Boyen, Nir Friedman, Daphne Koller:
Discovering the Hidden Structure of Complex Dynamic Systems.

Gregory F. Cooper, Changwon Yoo:
Causal Discovery from a Mixture of Experimental and Observational Data.

Denver Dash, Marek J. Druzdzel:
A Hybrid Anytime Algorithm for the Constructiion of Causal Models From Sparse Data.
Michael I. Dekhtyar, Alex Dekhtyar, V. S. Subrahmanian:
Hybrid Probabilistic Programs: Algorithms and Complexity.
Didier Dubois, Michel Grabisch, Henri Prade, Philippe Smets:
Assessing the value of a candidate. Comparing belief function and possibility theories.
Kazuo J. Ezawa, Gregory Napiorkowski, Mariusz Kossarski:
Evaluation of Distributed Intelligence on the Smart Card.
Hélène Fargier, Patrice Perny:
Qualitative Models for Decision Under Uncertainty without the Commensurability Assumption.
Nir Friedman, Moisés Goldszmidt, Abraham J. Wyner:
Data Analysis with Bayesian Networks: A Bootstrap Approach.
Nir Friedman, Iftach Nachman, Dana Pe'er:
Learning Bayesian Network Structure from Massive Datasets: The "Sparse Candidate" Algorithm.
Dan Geiger, David Heckerman:
Parameter Priors for Directed Acyclic Graphical Models and the Characterization of Several Probability Distributions.
Phan Hong Giang, Prakash P. Shenoy:
On Transformations between Probability and Spohnian Disbelief Functions.
Dominique Gruyer, Véronique Berge-Cherfaoui:
Multi-objects association in perception of dynamical situation.

Jesse Hoey, Robert St-Aubin, Alan J. Hu, Craig Boutilier:
SPUDD: Stochastic Planning using Decision Diagrams.
Michael C. Horsch, David L. Poole:
Estimating the Value of Computation in Flexible Information Refinement.

Daphne Koller, Uri Lerner, Dragomir Anguelov:
A General Algorithm for Approximate Inference and its Application to Hybrid Bayes Nets.
Petri Kontkanen, Petri Myllymäki, Tomi Silander, Henry Tirri:
On Supervised Selection of Bayesian Networks.



Christopher Lusena, Tong Li, Shelia Sittinger, Chris Wells, Judy Goldsmith:
My Brain is Full: When More Memory Helps.


David A. McAllester, Satinder P. Singh:
Approximate Planning for Factored POMDPs using Belief State Simplification.
Nicolas Meuleau, Kee-Eung Kim, Leslie Pack Kaelbling, Anthony R. Cassandra:
Solving POMDPs by Searching the Space of Finite Policies.
Nicolas Meuleau, Leonid Peshkin, Kee-Eung Kim, Leslie Pack Kaelbling:
Learning Finite-State Controllers for Partially Observable Environments.
Robert J. Mislevy, Russell G. Almond, Duanli Yan, Linda S. Steinberg:
Bayes Nets in Educational Assessment: Where Do the Numbers Come From?
Stefano Monti, Gregory F. Cooper:
A Bayesian Network Classifier that Combines a Finite Mixture Model and a Naive Bayes Model.
Kevin P. Murphy:
A Variational Approximation for Bayesian Networks with Discrete and Continuous Latent Variables.
Kevin P. Murphy, Yair Weiss, Michael I. Jordan:
Loopy Belief Propagation for Approximate Inference: An Empirical Study.
James W. Myers, Kathryn Blackmond Laskey, Tod S. Levitt:
Learning Bayesian Networks from Incomplete Data with Stochastic Search Algorithms.
Julian R. Neil, Chris S. Wallace, Kevin B. Korb:
Learning Bayesian Networks with Restricted Causal Interactions.


Vladimir Pavlovic, Brendan J. Frey, Thomas S. Huang:
Variational Learning in Mixed-State Dynamic Graphical Models.
Avi Pfeffer, Daphne Koller, Brian Milch, Ken T. Takusagawa:
SPOOK: A System for Probabilistic Object-Oriented Knowledge Representation.
Luigi Portinale, Andrea Bobbio:
Bayesian Networks for Dependability Analysis: an Application to Digital Control Reliability.
Régis Sabbadin:
A Possibilistic Model for Qualitative Sequential Decision Problems under Uncertainty in Partially Observable Environments.
Raffaella Settimi, Jim Q. Smith, A. S. Gargoum:
Approximate Learning in Complex Dynamic Bayesian Networks.





Linda C. van der Gaag, Silja Renooij, Cilia Witteman, Berthe M. P. Aleman, Babs G. Taal:
How to Elicit Many Probabilities.


Yanping Xiang, Finn Verner Jensen:
Inference in Multiply Sectioned Bayesian Networks with Extended Shafer-Shenoy and Lazy Propagation.
Nevin Lianwen Zhang, Stephen S. Lee, Weihong Zhang:
A Method for Speeding Up Value Iteration in Partially Observable Markov Decision Processes.
Zhixiang Eddie Xu, Minmin Chen, Kilian Q. Weinberger, Fei Sha:
An alternative text representation to TF-IDF and Bag-of-Words.
Mariem Mhiri, Karim Cheikhrouhou, Abdelaziz Samet, François Mériaux, Samson Lasaulce:
Energy-Efficient Spectrum Sharing in Relay-Assisted Cognitive Radio Systems.
B. K. Tripathy, D. P. Acharjya:
Approximation of Classification and Measures of Uncertainty in Rough Set on Two Universal Sets.

Ramezan Paravi Torghabeh, Meysam Asadi, Narayana P. Santhanam:
Estimation in slow mixing, long memory channels.
Mingsheng Ying, Yuan Feng, Nengkun Yu:
Quantum Information-Flow Security: Noninterference and Access Control.


(Withdrawn) Preserving Privacy of Mobile Reader Holders in Server-less RFID Authentication and Searching Protocols.
Prateek Dewan, Mayank Gupta, Ponnurangam Kumaraguru:
ChaMAILeon: Simplified email sharing like never before!
Loet Leydesdorff, Inga A. Ivanova:
Mutual Redundancies in Inter-human Communication Systems: Steps Towards a Calculus of Processing Meaning.
Anshu Malhotra, Luam C. Totti, Wagner Meira Jr., Ponnurangam Kumaraguru, Virgílio A. F. Almeida:
Studying User Footprints in Different Online Social Networks.
Marc Hellmuth, Lydia Ostermeier, Peter F. Stadler:
Square Property, Equitable Partitions, and Product-like Graphs.
Anupama Aggarwal, Ashwin Rajadesingan, Ponnurangam Kumaraguru:
PhishAri: Automatic Realtime Phishing Detection on Twitter.
Andreas Kaltenbrunner, Pablo Aragón, David Laniado, Yana Volkovich:
Not all paths lead to Rome: Analysing the network of sister cities.
(Withdrawn) Towards a Logic-Based Unifying Framework for Computing.


Paridhi Jain, Tiago Rodrigues, Gabriel Magno, Ponnurangam Kumaraguru, Virgílio A. F. Almeida:
Cross-Pollination of Information in Online Social Media: A Case Study on Popular Social Networks.
Roy Karasik, Osvaldo Simeone, Shlomo Shamai:
Robust Uplink Communications over Fading Channels with Variable Backhaul Connectivity.
Edward Grefenstette, Georgiana Dinu, Yao-Zhong Zhang, Mehrnoosh Sadrzadeh, Marco Baroni:
Multi-Step Regression Learning for Compositional Distributional Semantics.
(Withdrawn) MFLP: Most Frequent Least Power Encoding.
Yannick Schwartz, Alexis Barbot, Benjamin Thyreau, Vincent Frouin, Gaël Varoquaux, Aditya Siram, Daniel S. Marcus, Jean-Baptiste Poline:
PyXNAT: XNAT in Python.

James McLaughlin, John A. Clark:
Using evolutionary computation to create vectorial Boolean functions with low differential uniformity and high nonlinearity.
Brett Kaufman, Jorma Lilleberg, Behnaam Aazhang:
Spectrum Sharing Scheme Between Cellular Users and Ad-hoc Device-to-Device Users.
Henrik Ohlsson, Allen Y. Yang, Roy Dong, Michel Verhaegen, S. Shankar Sastry:
Quadratic Compressive Sensing - A Nonlinear Extension of Compressive Sensing.


Lei Wang, Rodrigo C. de Lamare:
Adaptive Reduced-Rank Constrained Constant Modulus Beamforming Algorithms Based on Joint Iterative Optimization of Filters.
Yasutada Oohama:
Outer Bound of the Capacity Region for Identification via Multiple Access Channels.
Marthe Bonamy, Benjamin Lévêque, Alexandre Pinlou:
Graphs with maximum degree D at least 17 and maximum average degree less than 3 are list 2-distance (D+2)-colorable.


Annabelle McIver, Tahiry M. Rabehaja, Georg Struth:
Weak Concurrent Kleene Algebra with Application to Algebraic Verification.

Marc Desgroseilliers, Olivier Lévêque, Emmanuel Preissmann:
Spatial degrees of freedom of MIMO systems in Line-of-Sight Environment.
Lei Wang, Xiaodong Wang, Yingjie Wu, Daxin Zhu:
A Dynamic Programming Solution to a Generalized LCS Problem.
Marco Frigerio, Jonas Buchli, Darwin G. Caldwell:
A Domain Specific Language for kinematic models and fast implementations of robot dynamics algorithms.
Michael Schreiber:
Empirical Evidence for the Relevance of Fractional Scoring in the Calculation of Percentile Rank Scores.
Lamling Venus Shum, Manik Gupta, Pachamuthu Rajalakshmi:
Data Analysis on the High-Frequency Pollution Data Collected in India.

Brett Kaufman, Jorma Lilleberg, Behnaam Aazhang:
Femtocell Architectures with Spectrum Sharing for Cellular Radio Networks.
Teresa Alsinet, Lluis Godo, Sandra A. Sandri:
On the Semantics and Automated Deduction for PLFC, a Logic of Possibilistic Uncertainty and Fuzziness.
Matthias Wählisch, André Vorbach, Christian Keil, Jochen Schönfelder, Thomas C. Schmidt, Jochen H. Schiller:
Design, Implementation, and Operation of a Mobile Honeypot.
Majid Gerami, Ming Xiao, Carlo Fischione, Mikael Skoglund:
Decentralized Minimum-Cost Repair for Distributed Storage Systems.
Fedor V. Fomin, Michal Pilipczuk:
Subexponential parameterized algorithm for computing the cutwidth of a semi-complete digraph.
Milan Bradonjic, Aric A. Hagberg, Nicolas W. Hengartner, Nathan Lemons, Allon G. Percus:
The phase transition in inhomogeneous random intersection graphs.

Leila Amgoud, Claudette Cayrol:
On the Acceptability of Arguments in Preference-Based Argumentation.
Salem Benferhat, Claudio Sossai:
Merging Uncertain Knowledge Bases in a Possibilistic Logic Framework.
Mark Bloemeke, Marco Valtorta:
A Hybrid Algorithm to Compute Marginal and Joint Beliefs in Bayesian Networks and Its Complexity.
Craig Boutilier, Ronen I. Brafman, Christopher W. Geib:
Structured Reachability Analysis for Markov Decision Processes.
John S. Breese, David Heckerman, Carl Myers Kadie:
Empirical Analysis of Predictive Algorithms for Collaborative Filtering.
Luis M. de Campos, Juan M. Fernández-Luna, Juan F. Huete:
Query Expansion in Information Retrieval Systems using a Bayesian Network-Based Thesaurus.
Charles Castel, Corine Cossart, Catherine Tessier:
Dealing with Uncertainty in Situation Assessment: towards a Symbolic Approach.
Enrique F. Castillo, Juan M. Fernández-Luna, Pilar Sanmartin:
Marginalizing in Undirected Graph and Hypergraph Models.
Urszula Chajewska, Lise Getoor, Joseph Norman, Yuval Shahar:
Utility Elicitation as a Classification Problem.


Didier Dubois, Hélène Fargier, Henri Prade:
Comparative Uncertainty, Belief Functions and Accepted Beliefs.

Nir Friedman, Kevin P. Murphy, Stuart J. Russell:
Learning the Structure of Dynamic Probabilistic Networks.

Clark Glymour:
Psychological and Normative Theories of Causal Power and the Probabilities of Causes.
Peter Grünwald, Petri Kontkanen, Petri Myllymäki, Tomi Silander, Henry Tirri:
Minimum Encoding Approaches for Predictive Modeling.
Vu A. Ha, Peter Haddawy:
Towards Case-Based Preference Elicitation: Similarity Measures on Preference Structures.
Milos Hauskrecht, Nicolas Meuleau, Leslie Pack Kaelbling, Thomas L. Dean, Craig Boutilier:
Hierarchical Solution of Markov Decision Processes using Macro-actions.
David Heckerman, Eric Horvitz:
Inferring Informational Goals from Free-Text Queries: A Bayesian Approach.

Eric Horvitz, John S. Breese, David Heckerman, David Hovel, Koos Rommelse:
The Lumiere Project: Bayesian User Modeling for Inferring the Goals and Needs of Software Users.
Pablo H. Ibargüengoytia, Luis Enrique Sucar, Sunil Vadera:
Any Time Probabilistic Reasoning for Sensor Validation.


Wenxin Jiang, Martin A. Tanner:
Hierarchical Mixtures-of-Experts for Exponential Family Regression Models with Generalized Linear Mean Functions: A Survey of Approximation and Consistency Results.
Michael J. Kearns, Yishay Mansour:
Exact Inference of Hidden Structure from Sample Data in Noisy-OR Networks.
Michael J. Kearns, Lawrence K. Saul:
Large Deviation Methods for Approximate Probabilistic Inference.
Neil D. Lawrence, Christopher M. Bishop, Michael I. Jordan:
Mixture Representations for Inference and Learning in Boltzmann Machines.
Vasilica Lepar, Prakash P. Shenoy:
A Comparison of Lauritzen-Spiegelhalter, Hugin, and Shenoy-Shafer Architectures for Computing Marginals of Probability Distributions.
Chao-Lin Liu, Michael P. Wellman:
Incremental Tradeoff Resolution in Qualitative Probabilistic Networks.
Chao-Lin Liu, Michael P. Wellman:
Using Qualitative Relationships for Bounding Probability Distributions.


Marina Meila, David Heckerman:
An Experimental Comparison of Several Clustering and Initialization Methods.
Stefano Monti, Gregory F. Cooper:
A Multivariate Discretization Method for Learning Bayesian Networks from Mixed Data.
Benson Hin Kwong Ng, Kam-Fai Wong, Boon Toh Low:
Resolving Conflicting Arguments under Uncertainties.



Irina Rish, Kalev Kask, Rina Dechter:
Empirical Evaluation of Approximation Algorithms for Probabilistic Decoding.
Raffaella Settimi, Jim Q. Smith:
On the Geometry of Bayesian Graphical Models with Hidden Variables.
Ross D. Shachter:
Bayes-Ball: The Rational Pastime (for Determining Irrelevance and Requisite Information in Belief Networks and Influence Diagrams).
Bo Thiesson, Christopher Meek, David Maxwell Chickering, David Heckerman:
Learning Mixtures of DAG Models.
Nevin Lianwen Zhang, Stephen S. Lee:
Planning with Partially Observable Markov Decision Processes: Advances in Exact Solution Method.
Philipp Schaer, Thomas Lüke, Philipp Mayr, Peter Mutschke:
An OAI-PMH-based Web Service for the Generation of Co-Author Networks.

Eyad Alkassar, Sascha Böhme, Kurt Mehlhorn, Christine Rizkallah:
A Framework for the Verification of Certifying Computations.
Tsung-Yi Chen, Adam R. Williamson, Richard D. Wesel:
Variable-Length Coding with Feedback: Finite-Length Codewords and Periodic Decoding.
Georg Martius, Ralf Der, Nihat Ay:
Information driven self-organization of complex robotic behaviors.
Austin Jones, Mac Schwager, Calin Belta:
Technical Report: A Receding Horizon Algorithm for Informative Path Planning with Temporal Logic Constraints.
Hessam Mahdavifar, Mostafa El-Khamy, Jungwon Lee, Inyup Kang:
On the Construction and Decoding of Concatenated Polar Codes.
Huy Nguyen, Gabriel Scalosub, Rong Zheng:
On Quality of Monitoring for Multi-channel Wireless Infrastructure Networks.
Daichi Yugawa, Tadashi Wadayama:
Finite Length Analysis on Listing Failure Probability of Invertible Bloom Lookup Tables.
Igal Sason:
Improved Lower Bounds on the Total Variation Distance and Relative Entropy for the Poisson Approximation.
YuLong Zou, Jia Zhu, Baoyu Zheng:
A Fully Distributed Opportunistic Network Coding Scheme for Cellular Relay Networks.
YuLong Zou, Jia Zhu, Baoyu Zheng:
Energy Efficiency of Network Cooperation for Cellular Uplink Transmissions.
Abhishek Chanda, Cédric Westphal, Dipankar Raychaudhuri:
Content Based Traffic Engineering in Software Defined Information Centric Networks.

Nouha Abid, Silvano Dal-Zilio, Didier Le Botlan:
A Verified Approach for Checking Real-Time Specification Patterns.
Rodrigo T. Saad, Silvano Dal-Zilio, Bernard Berthomieu:
An Experiment on Parallel Model Checking of a CTL Fragment.
Yuki Fujii, Tadashi Wadayama:
An Analysis on Minimum s-t Cut Capacity of Random Graphs with Specified Degree Distribution.
(Withdrawn) On the Capacity of Special Classes of Gaussian Relay Networks with Orthogonal Components and Noncausal State Information at Source.
Krzysztof R. Apt, Evangelos Markakis, Sunil Simon:
Paradoxes in Social Networks with Multiple Products.
Min Chih Lin, Michel J. Mizrahi, Jayme Luiz Szwarcfiter:
Exact algorithms for dominating induced matchings.
Juan Andrés Bazerque, Gonzalo Mateos, Georgios B. Giannakis:
Rank regularization and Bayesian inference for tensor completion and extrapolation.
Anh Cat Le Ngo, Kenneth Li-Minn Ang, Guoping Qiu, Jasmine Kah-Phooi Seng:
Multi-scale Discriminant Saliency with Wavelet-based Hidden Markov Tree Modelling.
Derrick Wing Kwan Ng, Ernest S. Lo, Robert Schober:
Energy-Efficient Power Allocation in OFDM Systems with Wireless Information and Power Transfer.
Anh Cat Le Ngo, Guoping Qiu, Geoff Underwood, Kenneth Li-Minn Ang, Jasmine Kah-Phooi Seng:
Fast non parametric entropy estimation for spatial-temporal saliency method.
Rushikesh Kamalapurkar, Huyen T. Dinh, Shubhendu Bhasin, Warren E. Dixon:
Approximately Optimal Trajectory Tracking for Continuous Time Nonlinear Systems.
Neng-Fa Zhou, Jonathan Fruhman:
Toward a Dynamic Programming Solution for the 4-peg Tower of Hanoi Problem with Configurations.
Anthony Monnet, Roger Villemaire:
Efficient Partial Order CDCL Using Assertion Level Choice Heuristics.
João Santos, Ricardo Rocha:
Efficient Support for Mode-Directed Tabling in the YapTab Tabling System.
Rui Vieira, Ricardo Rocha, Fernando M. A. Silva:
On Comparing Alternative Splitting Strategies for Or-Parallel Prolog Execution on Multicores.
Itzhak Tamo, Dimitris S. Papailiopoulos, Alexandros G. Dimakis:
Optimal Locally Repairable Codes and Connections to Matroid Theory.
Zoé Drey, José F. Morales, Manuel V. Hermenegildo:
Reversible Language Extensions and their Application in Debugging.
Rui Machado, Salvador Abreu, Daniel Diaz:
Parallel Local Search: Experiments with a PGAS-based programming model.
Emilio Jesús Gallego Arias, Rémy Haemmerlé, Manuel V. Hermenegildo, José F. Morales:
The Ciao clp(FD) Library. A Modular CLP Extension for Prolog.
Gunnar E. Carlsson, Facundo Mémoli, Alejandro Ribeiro, Santiago Segarra:
Axiomatic Construction of Hierarchical Clustering in Asymmetric Networks.
Flávio Codeço Coelho, Renato Rocha Souza, Álvaro Justen, Flávio Amieiro, Heliana Mello:
PyPLN: a Distributed Platform for Natural Language Processing.
Zaid J. Towfic, Jianshu Chen, Ali H. Sayed:
On Distributed Online Classification in the Midst of Concept Drifts.


David Lopez-Paz, José Miguel Hernández-Lobato, Bernhard Schölkopf:
Semi-Supervised Domain Adaptation with Non-Parametric Copulas.
Maria Papapetrou, Dimitris Kugiumtzis:
Markov Chain Order estimation with Conditional Mutual Information.
Yutaka Hori, Shinji Hara:
Noise-Induced Spatial Pattern Formation in Stochastic Reaction-Diffusion Systems.
Peter Klimek, Stefan Thurner:
Triadic closure dynamics explains scaling-exponents for preferential attachment-, degree- and clustering distributions in social multiplex data.



Laurent Demanet, Xiangxiong Zhang:
Eventual linear convergence of the Douglas Rachford iteration for basis pursuit.
Sanaz Kazemi, Sarod Yatawatta, Saleem Zaroubi:
Clustered Calibration: An Improvement to Radio Interferometric Direction Dependent Self-Calibration.
XuanLong Nguyen:
Borrowing strength in hierarchical Bayes: convergence of the Dirichlet base measure.
Marc Wiedermann, Jonathan F. Donges, Jobst Heitzig, Jürgen Kurths:
Node-weighted interacting network measures improve the representation of real-world complex systems.
Angelo Gilio, Giuseppe Sanfilippo:
Probabilistic entailment in the setting of coherence: The role of quasi conjunction and inclusion relation.
Adam Rudzinski:
Effective number of samples and pseudo-random nonlinear distortions in digital OFDM coded signal.
Eric C. Hall, Rebecca M. Willett:
Dynamical Models and Tracking Regret in Online Convex Programming.
Roberto Henry Herrera, Jean-Baptiste Tary, Mirko van der Baan:
Time-Frequency Representation of Microseismic Signals using the Synchrosqueezing Transform.
Sylwester Arabas, Dorota Jarecka, Anna Jaruga, Maciej Fijalkowski:
Object-oriented implementations of the MPDATA advection equation solver in C++, Python and Fortran.

Christian M. Alis, May T. Lim:
Adaptation of fictional and online conversations to communication media.
Clemens Kirisits, Lukas F. Lang, Otmar Scherzer:
Optical Flow on Evolving Surfaces with an Application to the Analysis of 4D Microscopy Data.
Hamidreza Chitsaz, Elmirasadat Forouzmand, Gholamreza Haffari:
An Efficient Algorithm for Upper Bound on the Partition Function of Nucleic Acids.
Mario Berta, Joseph M. Renes, Mark M. Wilde:
Identifying the Information Gain of a Quantum Measurement.
Elmirasadat Forouzmand, Hamidreza Chitsaz:
The RNA Newton Polytope and Learnability of Energy Parameters.
Kristian Lindgren, Vilhelm Verendel:
Evolutionary Exploration of the Finitely Repeated Prisoners' Dilemma--The Effect of Out-of-Equilibrium Play.
Alexandra M. Schnoes, David C. Ream, Alexander W. Thorman, Patricia C. Babbitt, Iddo Friedberg:
Biases in the Experimental Annotations of Protein Function and their Effect on Our Understanding of Protein Function Space.


Stanislao Gualdi, Matús Medo, Yi-Cheng Zhang:
Crowd Avoidance and Diversity in Socio-Economic Systems and Recommendation.
Nargess Memarsadeghi, Lucy A. McFadden, David R. Skillman, Brian McLean, Max Mutchler, Uri Carsenty, Eric E. Palmer:
Moon Search Algorithms for NASA's Dawn Mission to Asteroid Vesta.
Ziyu Wang, Masrour Zoghi, Frank Hutter, David Matheson, Nando de Freitas:
Bayesian Optimization in a Billion Dimensions via Random Embeddings.
L. C. Davis:
The Effects of Powertrain Mechanical Response on the Dynamics and String Stability of a Platoon of Adaptive Cruise Control Vehicles.
Ke Cui, Jian Wang, Hong-Fei Zhang, Chun-Li Luo, Ge Jin, Teng-Yun Chen:
A real-time design based on FPGA for Expeditious Error Reconciliation in QKD system.
Eugene Perevalov, David Grace:
Towards the full information chain theory: expected loss and information relevance.
Michael Schreiber:
How relevant is the predictive power of the h-index? A case study of the time-dependent Hirsch index.
Krikamol Muandet, David Balduzzi, Bernhard Schölkopf:
Domain Generalization via Invariant Feature Representation.
Steven M. Hill, Sach Mukherjee:
Network-based clustering with mixtures of L1-penalized Gaussian graphical models: an empirical investigation.
Matjaz Perc, Jesús Gómez-Gardeñes, Attila Szolnoki, Luis Mario Floría, Yamir Moreno:
Evolutionary dynamics of group interactions on structured populations: A review.
Tianjiao Chu, Richard Scheines, Peter Spirtes:
Semi-Instrumental Variables: A Test for Instrument Admissibility.
Yukio Hayashi, Takayuki Komaki, Yusuke Ide, Takuya Machida, Norio Konno:
Combinatorial and approximative analyses in a spatially random division process.
Hong-Fei Zhang, Jian Wang, Ke Cui, Chun-Li Luo, Sheng-zhao Lin, Lei Zhou, Hao Liang, Teng-Yun Chen, Kai Chen, Jian-Wei Pan:
A real-time QKD system based on FPGA.

Giovanna Miritello, Esteban Moro Egido, Rubén Lara, Rocío Martínez-López, Sam G. B. Roberts, Robin I. M. Dunbar:
Time as a limited resource: Communication Strategy in Mobile Phone Networks.

Andrei Zinovyev, Ulykbek Kairov, Tatiana Karpenyuk, Erlan Ramanculov:
Blind source separation methods for deconvolution of complex signals in cancer biology.
Kirk M. Soodhalter, Daniel B. Szyld, Fei Xue:
Krylov Subspace Recycling for Sequences of Shifted Linear Systems.
Hachem Kadri, Philippe Preux, Emmanuel Duflos, Stéphane Canu:
Multiple functional regression with both discrete and continuous covariates.
Yudong Chen, Constantine Caramanis, Shie Mannor:
Robust High Dimensional Sparse Regression and Matching Pursuit.
Christina Büsing, Fabio D'Andreagiovanni:
Robust Optimization under Multi-band Uncertainty - Part I: Theory.
Sophia Sklan, Jeffrey C. Grossman:
Beyond electronics, beyond optics: single circuit parallel computing with phonons.
Ben Adcock, Anders C. Hansen, Clarice Poon:
Beyond consistent reconstructions: optimality and sharp bounds for generalized sampling, and application to the uniform resampling problem.
Christian M. Schneider, Nuno A. M. Araújo, Hans J. Herrmann:
Efficient algorithm to study interconnected networks.
Yalchin Efendiev, Juan Galvis, Thomas Y. Hou:
Generalized Multiscale Finite Element Methods (GMsFEM).
Marcin Rybak, Krzysztof Kulakowski:
Competing of Sznajd and voter dynamics in the Watts-Strogatz network.


Thomas Strohmer, Haichao Wang:
Accurate detection of moving targets via random sensor arrays and Kerdock codes.
Richard K. Darst, David R. Reichman, Peter Ronhovde, Zohar Nussinov:
An edge density definition of overlapping and weighted graph communities.
Igor G. Vladimirov, Ian R. Petersen:
Coherent Quantum Filtering for Physically Realizable Linear Quantum Plants.
Robert L. Kosut, Matthew D. Grace, Constantin Brif:
Robust control of quantum gates via sequential convex programming.
Laurent Bienvenu, Andrei E. Romashchenko, Alexander Shen, Antoine Taveneaux, Stijn Vermeeren:
The axiomatic power of Kolmogorov complexity.
Daniel R. Licata, Michael Shulman:
Calculating the Fundamental Group of the Circle in Homotopy Type Theory.
(Withdrawn) Eigenstructure of Maximum Likelihood from Counting Data.
Alberto Montina:
Exponential communication gap between weak and strong classical simulations of quantum communication.
Momiao Xiong, Long Ma:
An Efficient Sufficient Dimension Reduction Method for Identifying Genetic Variants of Clinical Significance.
Ian J. Goodfellow, Aaron C. Courville, Yoshua Bengio:
Joint Training Deep Boltzmann Machines for Classification.
Vedran Dunjko, Joseph F. Fitzsimons, Christopher Portmann, Renato Renner:
Composable security of delegated quantum computation.
Mathias Bürger, Daniel Zelazo, Frank Allgöwer:
Duality and Network Theory in Passivity-based Cooperative Control.
Michele Starnini, Andrea Baronchelli, Romualdo Pastor-Satorras:
Modeling human dynamics of face-to-face interaction networks.
Petros A. Petrosyan, Hrant Khachatrian:
Interval non-edge-colorable bipartite graphs and multigraphs.
Jacob G. Scott, Prakash Chinnaiyan, Alexander R. A. Anderson, Anita B. Hjelmeland, David Basanta:
Intrinsic cell factors that influence tumourigenicity in cancer stem cells - towards hallmarks of cancer stem cells.
Fernando Hernando, Gary McGuire, Francisco Monserrat:
On the Classification of Exceptional Planar Functions over $\mathbb{F}_{p}$.
Lawrence M. Murray, Anthony Lee, Pierre E. Jacob:
Rethinking resampling in the particle filter on graphics processing units.


Igor Carboni Oliveira, Bhalchandra D. Thatte:
An algebraic formulation of the graph reconstruction conjecture.
Velleda Baldoni, Arzu Boysal, Michèle Vergne:
Multiple Bernoulli series and volumes of moduli spaces of flat bundles over surfaces.
Ankit Dangi:
Financial Portfolio Optimization: Computationally guided agents to investigate, analyse and invest!?
(Withdrawn) Convex conditions for robust stabilization of uncertain switched systems with guaranteed minimum dwell-time.
Adel Javanmard, Andrea Montanari:
Hypothesis Testing in High-Dimensional Regression under the Gaussian Random Design Model: Asymptotic Theory.
Giulio Cimini, An Zeng, Matús Medo, Duanbing Chen:
The role of taste affinity in agent-based models for social recommendation.
Alberto Montina, Marcel Pfaffhauser, Stefan Wolf:
Computing the Communication Complexity of Quantum Channels.
Marco Selig, Michael R. Bell, Henrik Junklewitz, Niels Oppermann, Martin Reinecke, Maksim Greiner, Carlos Pachajoa, Torsten A. Enßlin:
NIFTY - Numerical Information Field Theory - a versatile Python library for signal inference.
Serkan Gugercin, Tatjana Stykel, Sarah Wyatt:
Model Reduction of Descriptor Systems by Interpolatory Projection Methods.
Akira Kageyama, Youhei Masada:
Applications and a Three-dimensional Desktop Environment for an Immersive Virtual Reality System.
Akira Kageyama, Tomoki Yamada:
An Approach to Exascale Visualization: Interactive Viewing of In-Situ Visualization.
Amir Hossein Shirazi, Ali Namaki, Amir Ahmad Roohi, Gholamreza Jafari:
Transparency effect in the emergence of monopolies in social networks.
Marcus Brazil, Charl J. Ras, Doreen A. Thomas:
Relay Augmentation for Lifetime Extension of Wireless Sensor Networks.
Ciara Morgan, Andreas J. Winter:
Towards a strong converse for the quantum capacity (of degradable channels).
Marcelo S. Lauretto, Barbara B. C. Silva, Pablo M. Andrade:
Evaluation of a Supervised Learning Approach for Stock Market Operations.
James D. Currie, Narad Rampersad, Kalle Saari:
Extremal words in the shift orbit closure of a morphic sequence.

Soummya Kar, José M. F. Moura:
Asymptotically Efficient Distributed Estimation With Exponential Family Statistics.
Alexandre Bouchard-Côté:
A Note on Probabilistic Models over Strings: Inference and Representation with Indexed Matrices.
Abraham Isgur, Vitaly Kuznetsov, Mustazee Rahman, Stephen M. Tanny:
Nested Recursions, Simultaneous Parameters and Tree Superpositions.


Juhani Karhumäki, Aleksi Saarela, Luca Q. Zamboni:
On a generalization of Abelian equivalence and complexity of infinite words.
Gabriel Cardona, Arnau Mir, Francesc Rosselló:
The expected value of the squared euclidean cophenetic metric under the Yule and the uniform models.

Aldo de Luca, Elena V. Pribavkina, Luca Q. Zamboni:
A Coloring Problem for Sturmian and Episturmian Words.
Jaroslaw Adam Miszczak, Piotr Zawadzki:
General method for the security analysis in a quantum direct communication protocol.
Gwenaël Joret, Piotr Micek, Kevin G. Milans, William T. Trotter, Bartosz Walczak, Ruidong Wang:
Tree-Width and Dimension.
(Withdrawn) Using Periodicity of Nucleotide Sequences.
Aleksandr Y. Aravkin, Bradley M. Bell, James V. Burke, Gianluigi Pillonetto:
The exact relationship between regularization in RKHS and Bayesian estimation of Gaussian random fields.
Zdenek Dvorak, Jean-Sébastien Sereni, Jan Volec:
Subcubic triangle-free graphs have fractional chromatic number at most 14/5.
V. Michele Abrusci, Christian Retoré:
Some proof theoretical remarks on quantification in ordinary language.
Yuyang Wang, Roni Khardon, Dmitry Pechyony, Rosie Jones:
Online Learning with Pairwise Loss Functions.
Marius Pachitariu, Maneesh Sahani:
Regularization and nonlinearities for neural language models: when are they needed?
Benoit Laslier, Jean-François Laslier:
Reinforcement learning from comparisons: Three alternatives is enough, two is not.
Manuel Marques-Pita, Luis Mateus Rocha:
Canalization and control in automata networks: body segmentation in Drosophila melanogaster.
Weihua Geng:
Parallel Higher-order Boundary Integral Electrostatics Computation on Molecular Surfaces with Curved Triangulation.
Lijun Sun, Kay W. Axhausen, Der-Horng Lee, Xianfeng Huang:
Understanding the collective encounter patterns in an empirical urban contact network.
Holger Boche, Janis Noetzel:
Arbitrarily Small Amounts of Correlation for Arbitrarily Varying Quantum Channels.
Alex Borisevich:
Numerical homotopy continuation for control and online identification of nonlinear systems: the survey of selected results.

Pierre Kerfriden, Juan José Ródenas García, Stéphane Pierre-Alain Bordas:
Certification of projection-based reduced order modelling in computational homogenisation by the Constitutive Relation Error.
Hiromu Mori, Yoshihiro Matsumoto, Zbigniew R. Struzik, Koichi Mori, Shoji Makino, Danilo P. Mandic, Tomasz M. Rutkowski:
Multi-command Tactile and Auditory Brain Computer Interface based on Head Position Stimulation.
Moonjeong Chang, Nozomu Nishikawa, Zbigniew R. Struzik, Koichi Mori, Shoji Makino, Danilo P. Mandic, Tomasz M. Rutkowski:
Comparison of P300 Responses in Auditory, Visual and Audiovisual Spatial Speller BCI Paradigms.
Christoph Aistleitner:
On the limit distribution of the normality measure of random binary sequences.
Nicolas Delfosse:
Tradeoffs for reliable quantum information storage in surface codes and color codes.
Mattia Zorzi, Francesco Ticozzi, Augusto Ferrante:
Minimum Relative Entropy for Quantum Estimation: Feasibility and General Solution.
Oswin Aichholzer, Luis Evaristo Caraballo, José Miguel Díaz-Báñez, Ruy Fabila Monroy, Carlos Ochoa, P. Nigsch:
Extremal antipodal polygons and polytopes.
Yongge Tian:
How to solve three fundamental linear matrix inequalities in the Löwner partial ordering.

Shibdas Roy, Ian R. Petersen, Elanor Huntington:
Adaptive Continuous Homodyne Phase Estimation Using Robust Fixed-Interval Smoothing.
Andreas Christmann, Robert Hable:
On the Consistency of the Bootstrap Approach for Support Vector Machines and Related Kernel Based Methods.


Peng Guo, Wenming Cheng, Yi Wang:
A general variable neighborhood search for single-machine total tardiness scheduling problem with step-deteriorating jobs.
Zhi-Qiang Jiang, Wen-Jie Xie, Ming-Xia Li, Boris Podobnik, Wei-Xing Zhou, Harry Eugene Stanley:
Calling patterns in human communication dynamics.

Ross J. Anderson, Robert Brady:
Why quantum computing is hard - and quantum cryptography is not provably secure.


David F. Klosik, Stefan Bornholdt:
The citation wake of publications detects Nobel laureates' papers.
Pierre Gosselet, Christian Rey, Julien Pebrel:
Total and selective reuse of Krylov subspaces for the resolution of sequences of nonlinear structural problems.
Gonzalo Mateos, Georgios B. Giannakis:
Load curve data cleansing and imputation via sparsity and low rank.
Martin D. Schatz, Tze Meng Low, Robert A. van de Geijn, Tamara G. Kolda:
Exploiting Symmetry in Tensors for High Performance.






Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
